东华大学学报（英文版）2001，Vol.18Issue(4)：97-102,6.
Refinement and Transformation from Z Specification to C + +
Refinement and Transformation from Z Specification to C + +
张晓莺 1陈家训1
作者信息
- 1. Dept. of Computer Science and Engineering, Dong Hua University, Shanghai 200051
- 折叠
摘要
Abstract
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 software.With 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.关键词
Z specification/refiinement/transformation/C + +/Class template/Function templateKey words
Z specification/refiinement/transformation/C + +/Class template/Function template分类
信息技术与安全科学引用本文复制引用
张晓莺,陈家训..Refinement and Transformation from Z Specification to C + +[J].东华大学学报（英文版）,2001,18(4):97-102,6.
