图书详情
书名: 航天型号软件工程方法与技术
ISBN: 978-7-5159-0895-3
作 者: 王忠贵，刘姝编著
出版社: 中国宇航出版社
出版日期: 2015
简 介
本书分析了国内外航天软件工程实施情况，介绍了航天型号软件研制过程和管理内容，并深入阐述了软件研制各阶段、软件项目管理与计划、软件配置管理和软件质量保证等涉及的理论、方法和相关技术，详细分析了模型驱动软件开发方法和形式化开发方法在我国航天软件工程中的应用前景，能够系统地指导航天型号软件工程实施。