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

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

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

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

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

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

数字航空电子技术 航空电子元件、软件、功能件 【航空航天】

本书以专题形式详细介绍了数字航空电子技术及其发展状况，内容涵盖航空电子元件、软件、功能件以及航空电子系统的工程开发与实现。手册提出了数字航空电子技术的许多新概念、新原理和新技术，介绍了数字航空电...

航天软件需求工程 【航空航天】

航天型号软件测试 【航空航天】

航天型号软件工程 【航空航天】

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

航天测控软件过程改进实践 【航空航天】

本书以实例化的形式讲述了航天测控软件研发全过程。本书在描述航天测控软件过程改进中以GJB5000A三级包含的过程域为主线，分别以组织级过程改进、工程过程、项目管理过程以及支持过程的顺序描述了航天测控软...

机载软件研究流程最佳实践 【航空航天】

本书深入解读了民用飞机机载软件最具代表性的符合性方法RTCA DO—178B标准，结合国际机载软件项目经验详细分析了DO—178B标准各过程阶段的目标、活动和符合性数据，分析上述标准要求的软件工程背景和依据，并通...

民用飞机机载软件管理 【航空航天】

本书基于我国40多年民用飞机研制经验，结合民用飞机、系统的研制过程，深入研究制定了机载软件生命周期各阶段主制造商、系统/软件供应商各自的工作内容。本书首先介绍了机载软件管理的背景、意义以及国内外研...