软件工程师
軟件工程師
연건공정사
SOFTWARE ENGINEER
2013年
10期
39-43
,共5页
形式化方法%Z语言%业务基础软件平台%软件工程%装备管理
形式化方法%Z語言%業務基礎軟件平檯%軟件工程%裝備管理
형식화방법%Z어언%업무기출연건평태%연건공정%장비관리
formal methods%Z language%software engineering%business infrastructure software platform%equipment management
为提高装备管理软件开发效能，本文将形式化方法与软件工程化思想有机结合，给出了基于Z语言的装备管理业务基础软件平台的体系结构和设计，并基于Z-EMP平台开发了AA-MIS原型系统，验证了Z-EMP平台的研究方向和设计思想是正确可行的，为解决装备管理信息系统软件开发问题提供了一种思路和方法。
為提高裝備管理軟件開髮效能，本文將形式化方法與軟件工程化思想有機結閤，給齣瞭基于Z語言的裝備管理業務基礎軟件平檯的體繫結構和設計，併基于Z-EMP平檯開髮瞭AA-MIS原型繫統，驗證瞭Z-EMP平檯的研究方嚮和設計思想是正確可行的，為解決裝備管理信息繫統軟件開髮問題提供瞭一種思路和方法。
위제고장비관리연건개발효능，본문장형식화방법여연건공정화사상유궤결합，급출료기우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.
