期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向对象的形式规格说明语言OOZS 被引量：3

THE SYNTAX OF OBJECT-ORIENTED FORMAL SPECIFICATION LANGUAGE OOZS
下载PDF
导出
摘要 OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该语言的试用文本介绍。 OOZS is an object-oriented formal specification language, it is an extension to Z language. OOZS adds such facilities as class definition, import & export mechanism, Pre & Post predicate. In this paper, we introduced the syntax of OOZS.
作者 李刚 朱关铭 童頫
机构地区 上海大学计算机科学系
出处 《计算机应用与软件》 CSCD 2000年第3期1-11,共11页 Computer Applications and Software
关键词 面向对象 OOZS语言 形式语义 计算机 OOZS Object-Oriented Formal Specification Language Schema
分类号 TP301.2 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献6

  • 1[1]Rosalind Barden, Susan Stepney, David Cooper,The Use of Z, Proceedings of the Sixth Annual Z User Meeting,Workshops in Computing,Springer-Verlag, 1992.
  • 2[2]S. R. L. Meira and A. L. C. Cavalcanti, Modular Object-oriented Z Specifications, In Z User Meeting 1990, Workshops in Computing, Springer-Vedag, 1991.
  • 3[3]David A. Carrington, etc., Object-Z:An Object-oriented Extension to Z, In S. Vuong, Editor, Formal Description Techniques Ⅱ,FORTE'89,pp. 281～296, North Holland, 1990.
  • 4[4]K.Lano,Z+ + :An Object-oriented Extension to Z,I Z User Meeting 1990,Workshops in Computing, Springer-Verlag, 1991.
  • 5[5]J.M.Spivey,The Z Notation:A Reference Mannual,2nd Edition,Prentice Hall,1992.
  • 6[6]Kevin Lano, Howard Haughton, Object-oriented Specifications Case Studies, Prentice Hall, 1994.

同被引文献29

引证文献3

二级引证文献2

计算机应用与软件
2000年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部