Object-Z规格到实现机制探讨  

作　　者：王志刚[1] 谢茂芳[1] 

机构地区：[1]湖南师范大学数学与计算机学院,长沙410081

出　　处：《计算机光盘软件与应用》2013年第21期59-61,58,共4页Computer CD Software and Application

摘　　要：形式化规格是保证所设计的系统具有较高的可信度和正确性的重要途径,它涉及软件生命周期的各个阶段。从形式化规格到软件编码是软件开发中的一个关键环节。在分析了规格化和高级语言之间的内在关系的基础上,概括了基于Object-Z规格到Java实现的几条转换机制,并运用案例研究来说明这些机制。

关 键 词：软件体系结构 形式规格 OBJECT-Z JAVA 转换机制 

分 类 号：TP391.41[自动化与计算机技术—计算机应用技术]