航天软件需求工程PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:刘妹,程胜编著
- 出 版 社:北京:中国宇航出版社
- 出版年份:2016
- ISBN:7515911748
- 页数:286 页
第1章 软件需求与软件需求工程 1
1.1 什么是软件需求 1
1.1.1 需求的定义与分类 1
1.1.2 需求在软件开发中的位置 4
1.2 什么是软件需求工程 16
1.2.1 需求工程的定义 17
1.2.2 需求工程的内容 18
1.3 软件需求工程对航天型号任务的重要性 20
第2章 航天软件需求工程概述 25
2.1 航天软件需求工程上下文环境 25
2.1.1 航天软件研制相关方及其职责 25
2.1.2 航天系统工程和软件工程的工作内容 26
2.2 国外航天相关标准规范 38
2.2.1 NASA标准规范 38
2.2.2 ESA标准规范 41
2.3 基本术语说明 46
第3章 软件需求开发 49
3.1 需求开发流程 49
3.2 通用需求获取方法 51
3.2.1 面谈 51
3.2.2 头脑风暴 51
3.2.3 结构化研讨会 52
3.3 用户需求开发 52
3.3.1 任务目标定义 53
3.3.2 操作概念开发 53
3.3.3 技术需求分析 65
3.3.4 系统分解 65
3.3.5 设计方案定义与评估 68
3.3.6 系统需求到软件需求的转换 68
3.4 用户需求规格说明 72
3.4.1 用户需求规格说明的原则 72
3.4.2 用户需求规格说明的内容 72
3.5 软件需求分析 74
3.5.1 面向数据流的结构化分析方法 75
3.5.2 面向数据结构的结构化分析方法 97
3.5.3 面向对象分析方法 104
3.5.4 形式化分析方法 129
3.5.5 快速原型方法 145
3.5.6 模型驱动开发方法 150
3.6 软件需求规格说明 159
3.6.1 软件需求规格说明原则 159
3.6.2 软件需求规格说明内容 160
3.6.3 自然语言规格说明 162
3.6.4 结构化规格说明 165
3.7 需求分析工具 168
3.7.1 工具分类 169
3.7.2 常见工具 169
第4章 软件需求管理 174
4.1 需求管理活动与要求 174
4.2 需求标识与分类 176
4.3 需求追踪 176
4.3.1 需求追踪的内容 177
4.3.2 需求追踪的表示方法 178
4.3.3 需求追踪模型 180
4.4 需求优先级排序 185
4.4.1 需求优先级排序的定义 186
4.4.2 需求优先级排序的过程 186
4.4.3 需求优先级排序技术 188
4.5 需求基线与变更管理 193
4.5.1 配置管理 193
4.5.2 需求基线 196
4.5.3 需求变更控制 197
4.6 需求管理相关工具 198
4.6.1 需求管理工具 198
4.6.2 配置管理工具 200
第5章 软件需求的验证与确认 202
5.1 验证与确认的定义和内容 202
5.2 需求验证 203
5.2.1 需求验证活动与要求 204
5.2.2 需求验证方法 205
5.3 需求确认 210
5.3.1 需求确认活动与要求 210
5.3.2 需求确认方法 210
5.4 独立验证与确认 212
第6章 软件安全需求开发与验证 213
6.1 软件安全性的定义 213
6.2 软件安全过程与活动 214
6.3 系统级危险分析 216
6.3.1 初步危险分析 216
6.3.2 软件安全关键性评估 220
6.3.3 软件安全工作计划 225
6.4 软件安全需求分析 227
6.4.1 通用软件安全性需求 228
6.4.2 软件危险分析 231
6.4.3 软件故障树分析 234
6.4.4 软件失效模式与影响分析 241
6.5 软件安全需求验证 248
6.5.1 软件安全需求向下流动分析 248
6.5.2 关键性分析 249
6.5.3 需求规格说明分析 251
6.5.4 形式化规约方法 252
6.5.5 模型检测 252
6.5.6 时间、吞吐量及空间分析 254
6.5.7 软件需求的形式检查 255
6.6 软件安全性追踪和变更安全性分析 255
6.6.1 软件安全性追踪 256
6.6.2 软件变更安全性分析 256
第7章 软件需求质量管理与过程改进 258
7.1 质量管理与过程改进基本概念 258
7.1.1 软件质量观点 258
7.1.2 过程改进主要标准 260
7.2 基于软件需求的质量管理 268
7.2.1 基于需求的质量定义 268
7.2.2 质量监测框架 270
7.2.3 质量测量过程 271
7.3 需求过程改进 273
7.3.1 需求过程改进的问题 273
7.3.2 需求过程改进的方法 274
参考文献 281
- 《市政工程基础》杨岚编著 2009
- 《工程静力学》王科盛主编 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《化学反应工程》许志美主编 2019
- 《绿色过程工程与清洁生产技术 张懿院士论文集精选 上》《绿色过程工程与清洁生产技术》编写组编 2019
- 《软件工程》齐治昌,谭庆平,宁洪编著 2019
- 《化学工程与工艺专业实验指导》郭跃萍主编 2019
- 《天水师范学院60周年校庆文库 新工科视域下的工程基础与应用研究》《天水师范学院60周年校庆文库》编委会编 2019
- 《高等工程教育改革探析》李瀛心,吴价宝著 1997
- 《城市基坑工程设计施工实践与应用》李欢秋,刘飞,郭进军编著 2019
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《清至民国中国西北戏剧经典唱段汇辑 第8卷》孔令纪 2018
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018