航天软件需求工程

航天型号软件工程方法与技术

本书分析了国内外航天软件工程实施情况，介绍了航天型号软件研制过程和管理内容，并深入阐述了软件研制各阶段、软件项目管理与计划、软件配置管理和软件质量保证等涉及的理论、方法和相关技术，详细分析了模型驱...

航天型号高可靠软件系统调试原理与技术

本书针对复杂航天型号对软件高可靠性的要求，在深入分析软件故障特征的基础上，阐述当前软件调试手段与工具的技术分类体系，介绍一批最新的、具有代表性的软件调试技术，包括：程序规则分析、用户行为分析、虚拟化调...

航天器软件测试技术与实践

本书系统介绍了航天器软件测试的基本方法、流程和各项主要技术，对当前航天器软件测试常用工具进行了比对说明。针对近年来载入航天工程等重大型号中提出并应用的测试覆盖率分析技术、仿真测试环境搭建技术、...

航天型号软件工程

本书阐述了软件工程的基本概念，介绍了航天型号软件工程各个阶段的工作内容，提供了丰富的工程研制经验。

飞行器气动特性分析与工程计算

惯性导航分析与设计

航天型号软件测试

飞机结构的分析与先进设计原理

导弹、航天器结构分析与设计