Refinement and Transformation from Z Specification to C+ +

作     者：Zhang Xiaoying(张晓莺) Chen Jiaxun(陈家训) 

作者机构：Dept. of Computer Science and Engineering Dong Hua University Shanghai 200051 Dept. of Computer Science and Engineering Dong Hua University Shanghai 200051 

出 版 物：《Journal of Donghua University(English Edition)》 (东华大学学报（英文版）)

年 卷 期：2001年第18卷第4期

页      面：97-102页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 

主　　题：Z specification refinement transformation C + + Class template Function template 

摘      要：As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of *** the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.