| 形式方法与面向对象方法的结合探讨 |
| |
| 引用本文： | 李刚,朱关铭,童頫. 形式方法与面向对象方法的结合探讨[J]. 计算机工程, 1998, 24(1): 13-16,69 |
| |
| 作者姓名： | 李刚 朱关铭 童頫 |
| |
| 作者单位： | 上海大学计算机科学系,上海,201800 |
| |
| 基金项目： | 国家863高技术计划资助!863-306-05-09－16，上海市高校科技发展基金!97A42 |
| |
| 摘 要： | 文中讨论了形式方法和面向对象方法各自的优缺点，结合作者设计的面向对象形式规格说明语言ＯＯＺＳ，介绍了将这两种方法结合起来的三种途径，并对这三种途径进行分析，评价和对比，最后提出了今后的研究方向。
|
| 关 键 词： | 规格说明语言 形式方法 面向对象 软件开发 |
On the Integration of Formal Methods and Object-oriented Methods |
| |
| Li Gang,Zhu Guanming,TONG Fu. On the Integration of Formal Methods and Object-oriented Methods[J]. Computer Engineering, 1998, 24(1): 13-16,69 |
| |
| Authors: | Li Gang Zhu Guanming TONG Fu |
| |
| 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. |
| |
| Keywords: | Software engineering Specification language Formal methods Object-oriented methods |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
