形式方法与面向对象方法的结合探讨  

On the Integration of Formal Methods and Object-oriented Methods

作　　者：李刚[1] 朱关铭 童頫[1] 

机构地区：[1]上海大学计算机科学系,上海211800

出　　处：《计算机工程》1998年第1期13-16,69,共5页Computer Engineering

基　　金：国家863高技术计划资助!863-306-05-09-16;上海市高校科技发展基金!97A42

摘　　要：文中讨论了形式方法和面向对象方法各自的优缺点，结合作者设计的面向对象形式规格说明语言OOZS，介绍了将这两种方法结合起来的三种途径，并对这三种途径进行了分析、评价和对比，最后提出了今后的研究方向。The advantages and drawbacks of both formal methods and object-roriented methods are discussed in theis paper.Three kinds of techniques of integrating those two methods are presented and ecaluated. An object-oriented formal specification language named OOZS has also been introduced in this paper, then several problems about the integrated methods are discussed.

关 键 词：规格说明语言 形式方法 面向对象 软件开发 

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