节点文献

现有Z面向对象扩充语言的比较

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【机构】南京大学计算机科学与技术系；南京大学计算机科学与技术系南京 210093；南京 210093；

【摘要】 <正>引言软件规格说明的形式化技术提供了一种能独立于实现的、可推理的系统数学模型,具有更多还原

【Abstract】 This paper introduces briefly five influential object-oriented extensions of the specification notation Z:Object-Z,MooZ,ZEST,OOZE and Z++. We analysis and compare their strengths and weaknesses. Based on the weakness of these languages and current needs of software engineering,we point out the future researchemphasis.更多还原

【关键词】 Z language； Object-oriented extension； Formal specification；
【Key words】 Z language； Object-oriented extension； Formal specification；

【基金】国家九五攻关项目;国家自然科学基金

【文献出处】计算机科学 ,Computer Science , 编辑部邮箱 ,1997年03期

【分类号】TP311.52
【被引频次】6
【下载频次】26

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献