需求驱动的可信软件过程PDF|Epub|txt|kindle电子书版本网盘下载

需求驱动的可信软件过程PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 可信软件与软件过程1

1.1 软件的可信需求1

1.1.1 可信软件2

1.1.2 可信软件需求3

1.2 可信软件与软件过程4

1.2.1 软件过程4

1.2.2 可信软件与软件过程6

1.3 本书结构8

参考文献9

第2章 可信软件需求获取与建模12

2.1 软件需求工程13

2.1.1 软件需求工程过程14

2.1.2 软件需求建模15

2.2 可信软件分领域需求18

2.2.1 可信软件需求领域统计方法18

2.2.2 可信软件需求领域统计结果19

2.3 可信软件需求定义与获取35

2.3.1 可信软件需求定义35

2.3.2 可信软件非功能需求获取40

2.4 可信软件早期需求建模50

2.4.1 可信软件需求元模型51

2.4.2 非功能需求本体知识库55

2.5 案例研究63

2.5.1 可信第三方认证中心软件SIS63

2.5.2 航天软件65

2.6 小结69

参考文献69

第3章 可信软件需求推理与权衡73

3.1 可信软件非功能需求交互关系74

3.1.1 软件非功能需求的交互74

3.1.2 非功能需求推理与权衡76

3.2 可信软件早期需求推理78

3.2.1 可信软件需求的可满足性问题78

3.2.2 可信软件需求的SAT公式83

3.2.3 推理的可靠性和完备性86

3.2.4 可信软件需求的可满足性问题求解88

3.3 非功能需求冲突权衡92

3.3.1 非功能需求权衡92

3.3.2 权衡代价分析93

3.4 案例研究100

3.4.1 SIS软件需求推理100

3.4.2 SIS软件需求权衡104

3.5 小结108

参考文献109

第4章 面向方面可信软件过程建模框架113

4.1 可信软件过程建模基础115

4.1.1 Petri网115

4.1.2 软件演化过程建模方法117

4.1.3 面向方面建模121

4.2 面向方面扩展软件过程建模方法124

4.3 可信软件过程元模型128

4.4 可信软件过程建模框架133

4.5 可信方面编织冲突分析136

4.5.1 可信方面间编织冲突分析136

4.5.2 可信方面织入基本模型冲突分析137

4.6 可信方面编织冲突控制138

4.6.1 可信方面间编织冲突控制138

4.6.2 可信方面织入基本过程冲突控制139

4.7 可信过程方面织入冲突检测145

4.7.1 面向方面的冲突检测方法146

4.7.2 冲突检测方面147

4.8 小结150

参考文献150

第5章 可信方面编织方法153

5.1 可信方面间融合154

5.1.1 可信过程方面间融合154

5.1.2 可信任务方面间融合160

5.2 可信过程方面织入162

5.2.1 条件织入162

5.2.2 活动织入164

5.2.3 弧织入170

5.3 结构保持性172

5.4 性质保持性175

5.5 行为一致性183

5.6 可信任务方面织入187

5.7 可信方面间编织完整性及正确性189

5.8 小结194

参考文献194

第6章 可信软件过程建模195

6.1 面向方面可信软件过程建模196

6.1.1 活动层建模197

6.1.2 任务层和过程层建模198

6.1.3 全局层建模201

6.2 可信方面追踪202

6.2.1 可信方面追踪原则202

6.2.2 可信方面织入一致性追踪203

6.3 案例研究206

6.3.1 可信第三方认证中心软件SIS207

6.3.2 航天软件211

6.3.3 面向方面业务过程建模217

6.4 小结227

参考文献228

第7章 可信软件过程管理229

7.1 软件过程可信性度量230

7.1.1 可靠性度量234

7.1.2 安全性度量246

7.1.3 易用性度量257

7.2 软件过程改进269

7.2.1 面向方面过程改进方法271

7.2.2 软件过程改进案例272

7.3 软件过程动态可信演化274

7.3.1 过程运行实例的动态可信演化278

7.3.2 可信过程片段迁移281

7.3.3 演化异常处理283

7.3.4 软件过程动态演化案例286

7.4 可信风险评估与控制288

7.4.1 风险管理基础289

7.4.2 可信软件过程风险评估290

7.4.3 可信软件过程风险控制295

7.5 小结298

参考文献299