| 作 者： | 韩炜 |
| 出版社： | 航空工业出版社 |
| 丛编项： | 中航工业首席专家技术丛书 |
| 版权说明： | 本书为公共版权或经版权方授权，请支持正版图书 |
| 标 签： | 暂缺 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
第1部分 概论
第1章 嵌入式软件概述
1．1 引言
1．1．1 嵌入式系统
1．1．2 嵌入式软件
1．2 可信软件
1．2．1 处理模型及其假设
1．2．2 可信性软件的研究内容
1．3 软件属性及软件可信性属性
1．3．1 软件可用性
1．3．2 软件可靠性
1．3．3 软件安全性
1．3．4 软件信息安全性
1．3．5 软件维修性
第2章 软件困惑
2．1 软件的特点
2．1．1 可塑性
2．1．2 变态性
2．1．3 开发过程
2．2 软件不可信因素
2．2．1 定义
2．2．2 错误
2．2．3 故障
2．2．4 失效
2．3 错误、故障、失效的关系
2．4 软件的困扰
第3章 软件工程概念
3．1 软件工程概念的提出
3．2 软件工程基本概念
3．2．1 狭义的软件工程化
3．2．2 广义的软件工程化
3．3 软件工程的基本原则
3．4 软件工程的研究内容
3．4．1 软件工程过程
3．4．2 软件工程方法研究
3．4．3 计算机辅助软件工程工具研究
第2部分 软件工程概念
第4章 软件全生命周期模型
4．1 瀑布模型
4．2 增量迭代模型
4．3 快速原型模型
4．4 螺旋模型
4．5 敏捷模型
4．5．1 极限编程
4．5．2 Scrum模式
第5章 开发计划与策划
5．1 软件策划与软件计划概述
5．1．1 软件策划过程是高质量软件的保证
5．1．2 软件策划的依据与参考
5．2 软件策划过程的目标
5．3 软件计划
5．3．1 软件开发计划
5．3．2 软件验证计划
5．3．3 软件配置管理计划
5．3．4 软件质量保证计划
5．4 软件开发标准
5．4．1 软件需求标准
5．4．2 软件设计标准
5．4．3 软件编码标准
5．5 软件计划和软件开发标准的配置管理
5．6 软件策划过程的评审和质量保证
第6章 需求开发及管理
6．1 需求标准
6．1．1 需求的正确性
6．1．2 需求完整性
6．1．3 需求的可验证性
6．1．4 非功能需求
6．1．5 需求的鲁棒性
……
第3部分 机载软件及软件工程
第4部分 一个可信性软件（天脉操作系统）的实践
缩略语
参考文献
