| OOZS：一种面向对象的Z语言扩展 |
| |
| 引用本文： | 李刚 朱关铭. OOZS：一种面向对象的Z语言扩展[J]. 计算机研究与发展, 1997, 34(10): 742-746 |
| |
| 作者姓名： | 李刚 朱关铭 |
| |
| 作者单位： | 上海大学计算机科学系 |
| |
| 基金项目： | 上海市高校科技发展基金 |
| |
| 摘 要： | 在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足。在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能力。本文简要介绍了ＯＯＺＳ语言的设计思想及其面向对象特征。
|
| 关 键 词： | 面向对象 OOZS语言 Z语言 程序语言 |
OOZS:AN OBJECT ORIENTED EXTENSION TO Z |
| |
| LI Gang ZHU Guan Ming TONG Fu. OOZS:AN OBJECT ORIENTED EXTENSION TO Z[J]. Journal of Computer Research and Development, 1997, 34(10): 742-746 |
| |
| Authors: | LI Gang ZHU Guan Ming TONG Fu |
| |
| Abstract: | Integrating formal methods and object oriented methods is considered as one of the effective ways to make use of their desirable features in software development. Based on the Z specification language,a structured and object oriented formal specification language OOZS is designed. This paper introduces the basic idea of OOZS and its object oriented features. |
| |
| Keywords: | OOZS object orientation specification schema class |
| 本文献已被 CNKI 维普 等数据库收录！ |
