###
DOI:
Journal of Software:1997.8(9):694-700

Z的面向对象扩充COOZ的设计
袁晓东,郑国梁
(南京大学计算机科学与技术系,南京,210093)
COOZ:COMPLETE OBJECT-ORIENTED EXTENSION TO Z
YUAN Xiaodong,ZHENG Guoliang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2891   Download 2822
    Revised:November 18, 1996
> 中文摘要: 为了使Z规格说明与面向对象开发方法相结合,本文在Z中扩充了对象类型和模块描述机制,使之成为面向对象的形式化规格说明语言COOZ(completeobject-orientedZ).内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较.
中文关键词: Z语言  面向对象  形式化  规格说明  扩充  
Abstract:TQ combine Z notation with object-oriented techniques, this paper addsobject type and module mechanisrn to Z and makes it become object-oriented formal specifi-cation language COOZ. The paper includes the design ideas of COOZ, syntax and explana-tions, formal semantics, a small case and comparison with the related work.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金和国家“九五”攻关项目基金资助. 本文研究得到国家自然科学基金和国家“九五”攻关项目基金资助.
Foundation items:
Reference text:

袁晓东,郑国梁.Z的面向对象扩充COOZ的设计.软件学报,1997,8(9):694-700

YUAN Xiaodong,ZHENG Guoliang.COOZ:COMPLETE OBJECT-ORIENTED EXTENSION TO Z.Journal of Software,1997,8(9):694-700