论文部分内容阅读
为软件工程概要设计阶段提供新方法，将软件工程语言应用于软件开发实践，进而达到降低软件开发成本和减少软件后期维护的目的.将函数映射作为集合、关系的特例，研究了它们的存储形式及其主要操作，并在C＋＋STL中进行预处理，给出了抽象静态的Z规格说明中函数映射在C＋＋STL环境下自动转换为高级语言程序代码的方法.实现了Z规格说明中全入射、部分入射、全满射、部分满射到高级语言的自动转换，为软件生产的自动化打下了良好的基础.