基于Z语言的装备管理业务基础软件平台研究

摘要

为提高装备管理软件开发效能,本文将形式化方法与软件工程化思想有机结合,给出了基于Z语言的装备管理业务基础软件平台的体系结构和设计,并基于Z-EMP平台开发了AA-MIS原型系统,验证了Z-EMP平台的研究方向和设计思想是正确可行的,为解决装备管理信息系统软件开发问题提供了一种思路和方法。