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

Business Infrastructure Software Platform Based on Z Languagefor Equipment Management

作　　者：孙桂领 沈坚平[1] 

机构地区：[1]95856部队

出　　处：《软件工程师》2013年第10期39-43,共5页Software Engineer

摘　　要：为提高装备管理软件开发效能,本文将形式化方法与软件工程化思想有机结合,给出了基于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.

关 键 词：形式化方法 Z语言 业务基础软件平台 软件工程 装备管理 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]