10.3969/j.issn.1000-386X.2000.03.001
面向对象的形式规格说明语言OOZS
OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明.它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确.本文是该语言的试用文本介绍.
OOZS面向对象、形式规格说明语言、模式
17
TP31(计算技术、计算机技术)
2004-01-15(万方平台首次上网日期,不代表论文的发表时间)
共11页
1-11