形式化方法与装备系统软件维护

摘要：

本文对形式化方法与装备系统软件维护进行了探讨。文章对形式化方法的基本概念进行了介绍,并给出了三个典型的形式化软件开发和维护案例。

关键词： 军事装备 装备保障 软件维护

作者: 张子丘 郑宇军 王连来

作者单位: 总装武器装备论证研究中心,北京,100034 总装工程兵科研二所,北京,100093;中国科学院软件研究所,北京,100080 总装工程兵科研二所,北京,100093

会议类型: 国内会议

会议名称: 2005年应用高新技术提高维修保障能力会议

会议地点: 北京

会议语种:中文

页码: 1074-1078

在线出版日期: 2005-05-01（万方平台首次上网日期，不代表论文的发表时间）