面向对象的形式规格说明语言OOZS

• 作者: 朱关铭 李刚 童
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: OOZS面向对象 形式规格说明语言 模式
• 年，卷（期）: 2000,（3）
• 页码范围: 1-11
• 页数: 11页
• 分类号: TP31
• 字数: 8944字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2000.03.001

摘要

OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明.它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确.本文是该语言的试用文本介绍.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李刚	上海大学计算机科学系	19	68	6.0	7.0
2	朱关铭	上海大学计算机科学系	3	15	3.0	3.0
3	童	上海大学计算机科学系	2	37	2.0	2.0