摘要： 文中讨论了形式方法和面向对象方法各自的优缺点，结合作者设计的面向对象形式规格说明语言OOZS，介绍了将这两种方法结合起来的三种途径，并对这三种途径进行了分析、评价和对比，最后提出了今后的研究方向。
关键词:
软件工程,
规格说明语言,
形式方法,
面向对象方法
Abstract: 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.
中图分类号:
李刚,朱关铭,童頫. 形式方法与面向对象方法的结合探讨[J]. , 1998, 24(01): 13-.
Li Gang, Zhu Guanming, Tong Fu. On the Integration of Formal Methods and Object-oriented Methods[J]. , 1998, 24(01): 13-.