| 结构化面向对象形式规格说明语言OOZS——设计原理 |
| |
| 引用本文： | 李刚,朱关铭.结构化面向对象形式规格说明语言OOZS——设计原理[J].上海大学学报(自然科学版),1998(2). |
| |
| 作者姓名： | 李刚 朱关铭 |
| |
| 作者单位： | School of Computer Engineering and Science，Shanghai University |
| |
| 基金项目： | 国家自然科学基金,上海市高校科技发展基金 |
| |
| 摘 要： | 形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确，面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制，并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点，引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制，并对Ｚ语言的符号进行结构化处理，提高了形式规格说明的层次性和模块化能力，可用于大型面向对象软件系统需求规格说明的编写
|
| 关 键 词： | 形式方法 面向对象方法 规格说明 Z OOZS 模式 类 |
The Design of Structured and Object oriented Formal Specification Language OOZS |
| |
| Li Gang,Zhu Guanming,Tong Fu.The Design of Structured and Object oriented Formal Specification Language OOZS[J].Journal of Shanghai University(Natural Science),1998(2). |
| |
| Authors: | Li Gang Zhu Guanming Tong Fu |
| |
| Abstract: | |
| |
| Keywords: | formal methods object oriented methodology specification Z OOZS schema class |
| 本文献已被 CNKI 等数据库收录！ |
