形式化方法和对象技术的结合途径研究  

A SURVEY OF FORMAL SOFTWARE DEVELOPMENT METHODS

作　　者：杨杰[1] 郑明春[2] 

机构地区：[1]山东师范大学数学系,济南250014 [2]山东师范大学计算机科学系,济南250014

出　　处：《山东师范大学学报（自然科学版）》2000年第2期138-142,共5页Journal of Shandong Normal University(Natural Science)

基　　金：山东省自然科学基金资助项目

摘　　要：形式化软件开发方法被认为是开发可靠的与高质量软件的一个良好途径 .本文首先给出形式化方法概述 ,并介绍两种分别代表面向模型和面向性质的形式规约语言Z和Larch .然后 ,重点讨论形式化方法与面向对象技术的结合 .It is recognized as a good approach for high-quality and good-reliability software to employ formal software development methods.However,there are still many obstacles when using the methods.Firstly, the fundamental concepts of formal methods are given,and then,two typical formal specifications laguages,Z and Larch,are introduced.Finally,the techniques on integration formal methods with object-oriented methods are discussed.

关 键 词：形式化方法 软件开发 形式规约语言 面向对象 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]