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