OOZE求精技术自动化的探讨  

RESEARCH ON AUTOMATIC REFINEMENT OF OOZE

作　　者：袁晓东[1,2] 陈家骏[1,2] 郑国梁[1,2] 

机构地区：[1]南京大学计算机科学与技术系 [2]南京大学计算机软件新技术国家重点实验室

出　　处：《计算机研究与发展》1998年第2期173-177,共5页Journal of Computer Research and Development

基　　金：国家"九五"攻关项目;国家自然科学基金

摘　　要：文中立足于一种Ｚ的面向对象扩充广谱语言ＯＯＺＥ，研究其从软件规格说明到可执行程序求精过程中的自动化技术．重点讨论了数据求精技术，对Ｚ中的几种复合数据类型及其嵌套结构、ＯＯＺＥ中的类结构提出了相应的自动求精规则。OOZE is a wide spectrum language which is object oriented extension of Z. The technique of automatic refinement from software specification in OOZE to executable program is discussed with emphasis on data refinement.The corresponding automatic refinement rules are given for the nested composite types in Z and the class structure in OOZE. The steps of the operation refinement using automatic technique are also described.

关 键 词：OOZE 数据求精 操作求精 软件工程 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]