%0 Journal Article
%T z的面向对象扩充cooz的设计
%A 袁晓东？
%A 郑国梁？
%J 软件学报
%P 694-700
%D 1997
%X 为了使z规格说明与面向对象开发方法相结合，本文在z中扩充了对象类型和模块描述机制，使之成为面向对象的形式化规格说明语言cooz（completeobject－orientedz）．内容包括cooz的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较．
%K z语言
%K 面向对象
%K 形式化
%K 规格说明
%K 扩充
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19970908&flag=1