《航天型号软件工程方法与技术》王忠贵刘姝中国宇航

内容简介：

《航天型号软件工程方法与技术》在分析国内外航天软件工程实施情况的基础上，全面介绍了航天型号软件研制过程和管理内容，并深入阐述了软件研制各阶段、软件项目管理与计划、软件配置管理和软件质量保证等涉及的理论、方法和相关技术，详细分析了模型驱动软件开发方法和形式化开发方法在我国航天软件工程中的应用前景，不仅能够系统、全面地指导航天型号软件工程的实施，还对航天型号软件工程的发展进行了探讨。
　　航天型号软件研制引入软件工程思想是任务顺利实施的重要保障。航天软件工程标准体系建设、技术和方法研究、软件研制和管理队伍培养等方面取得了显著成果。但是，软件工程化标准实施过程缺乏系统化的指南。本书结合作者多年从事载人航天工程软件工程工作的实践，在分析国内外航天软件工程实施情况的基础上，系统地总结和介绍了航天型号软件工程研制的过程、技术与管理方法；具有较高的学术水平与实践指导意义。

目录：