摘要
为提高装备管理软件开发效能,本文将形式化方法与软件工程化思想有机结合,给出了基于Z语言的装备管理业务基础软件平台的体系结构和设计,并基于Z-EMP平台开发了AA-MIS原型系统,验证了Z-EMP平台的研究方向和设计思想是正确可行的,为解决装备管理信息系统软件开发问题提供了一种思路和方法。
In order to improve the equipment management software development efficiency, the formal methods and software engineering of the organic combination of ideological, architecture and design equipment management business basic software platform based on Z language is presented, and based on the Z-EMP platform for the development of the AA-MIS prototype system, to verify the research direction and idea of Z-EMP platform is correct and feasible, provide an idea and method to solve the equipment management information system software development problems.
出处
《软件工程师》
2013年第10期39-43,共5页
Software Engineer
关键词
形式化方法
Z语言
业务基础软件平台
软件工程
装备管理
formal methods
Z language
software engineering
business infrastructure software platform
equipment management
