共 3 条
Object-Z规格到实现机制探讨
被引：0
|作者：
王志刚
[1
]
谢茂芳
[1
]
机构：
[1] 湖南师范大学数学与计算机学院
来源：
关键词：
软件体系结构;
形式规格;
Object-Z;
Java;
转换机制;
D O I：
暂无
中图分类号：
N945.12 [系统模型、系统建模];
学科分类号：
071102 ;
摘要：
形式化规格是保证所设计的系统具有较高的可信度和正确性的重要途径,它涉及软件生命周期的各个阶段。从形式化规格到软件编码是软件开发中的一个关键环节。在分析了规格化和高级语言之间的内在关系的基础上,概括了基于Object-Z规格到Java实现的几条转换机制,并运用案例研究来说明这些机制。
引用
收藏
页码：59 / 61
+58
页数：4
相关论文