软件工程 卷3 领域、需求与软件设计PDF电子书下载

Ⅰ　开篇 3

1 三部曲范式 3

1.1 软件工程的描绘 3

1.1.1 “旧的”描绘 3

1.1.2 我们的观点：什么是软件工程 5

1.2 软件工程三部曲 6

1.2.1 领域与论域 6

1.2.2 领域工程 7

1.2.3 需求工程 18

1.2.4 软件 20

1.2.5 软件设计 20

1.2.6 讨论 24

1.3 开发的时期、阶段与步骤 25

1.3.1 软件开发的时期 25

1.3.2 开发的阶段与步骤 25

1.3.3 领域开发 27

1.3.4 需求开发 29

1.3.5 计算系统设计 31

1.3.6 讨论：时期、阶段与步骤 32

1.4 三部曲过程模型——首次考虑 33

1.4.1 过程模型的概念 33

1.4.2 三部曲过程模型 34

1.5 第1章的结论 34

1.5.1 概要 34

1.5.2 稍后将会介绍什么 34

1.6 文献评注 34

1.7 练习 35

1.7.1 一系列的软件开发 35

1.7.2 前言的注解 39

1.7.3 练习 39

2 文档 41

2.1 文档编制就是全部 41

2.2 文档部分的种类 41

2.2.1 概述 41

2.2.2 什么是描述 42

2.3 可交付物 43

2.4 信息文档部分 44

2.4.1 姓名、位置和日期 44

2.4.2 合作者 44

2.4.3 当前情况、需要、想法和概念 45

2.4.4 范围、区间、纲要 47

2.4.5 假设和依赖 49

2.4.6 隐含／派生目标 49

2.4.7 标准 50

2.4.8 合同和设计概要 51

2.4.9 日志 52

2.4.10　信息文档编制的讨论 53

2.5 描述文档部分 53

2.5.1 粗略描述 55

2.5.2 术语 57

2.5.3 叙述 59

2.5.4 形式叙述 61

2.5.5 描述性文档编制讨论 63

2.6 分析文档部分 63

2.6.1 概念形成 64

2.6.2 确认 65

2.6.3 验证、模型检查、测试 65

2.6.4 理论形成 66

2.6.5 分析文档编制的讨论 66

2.7 讨论 66

2.7.1 概述 66

2.7.2 章节总结 66

2.8 练习 68

2.8.1 序言 68

2.8.2 练习 68

Ⅱ　概念框架 73

3 方法和方法论 73

3.1 方法 73

3.2 方法学 74

3.3 方法构成 74

3.3.1 原则 74

3.3.2 分析 74

3.3.3 构造（或合成） 75

3.3.4 技术 75

3.3.5 工具 75

3.4 开发原则、技术和工具 75

3.4.1 一些元原则 76

3.4.2 一些原则、技术和工具 76

3.5 讨论 80

3.6 练习 80

4 模型和建模 81

4.1 介绍性、场景设定论述 81

4.1.1 模型和“可能世界” 81

4.1.2 规约的模型 82

4.1.3 建模 82

4.1.4 论域 82

4.2 模型属性 82

4.2.1 类比、分析、形象模型 83

4.2.2 描述和规定模型 85

4.2.3 外延和内涵模型 87

4.3 模型的角色 89

4.4 建模原则 89

4.5 讨论 89

4.6 练习 90

Ⅲ　描述：理论和实践 93

5 现象和概念 93

5.1 前言 93

5.2 现象和概念 93

5.2.1 物理上显然的现象 93

5.2.2 思维构想的概念 94

5.2.3 现象和概念的类别 94

5.2.4 具体和抽象概念 94

5.2.5 描述的类别 95

5.2.6 什么是描述 95

5.3 实体 96

5.3.1 原子实体 96

5.3.2 复合实体 96

5.3.3 子实体 97

5.3.4 值、部分整体关系、属性 97

5.3.5 实体的部分整体关系 97

5.3.6 部分整体关系和属性 98

5.3.7 面向模型的部分整体关系 98

5.3.8 面向模型的属性——题外话 98

5.3.9 实体性质 99

5.3.10　现实的示例和我们的类型系统 99

5.3.11　类型系统 105

5.3.12　类型约束 105

5.3.13　总结：原则、技术和工具 106

5.4 函数 106

5.4.1 函数基调 107

5.4.2 函数定义 108

5.4.3 算法 109

5.5 事件和行为 111

5.5.1 状态、动作、事件和行为 111

5.5.2 同步和通信 112

5.5.3 进程 113

5.5.4 迹 114

5.5.5 进程定义语言 115

5.6 建模现象和概念的选择 115

5.6.1 定性特性 115

5.6.2 定量特性 115

5.6.3 原则、技术和工具 117

5.7 讨论 118

5.7.1 实体、函数、事件和行为 118

5.7.2 密集和问题框架 119

5.8 文献评注 119

5.9 练习 119

5.9.1 序言 119

5.9.2 练习 119

6 关于下定义和关于定义 120

6.1 定义的语用 122

6.1.1 现象、人工制品和概念 122

6.1.2 什么是定义 122

6.1.3 所定义的概念的特性 123

6.1.4 数学定义 123

6.1.5 物理世界定义 123

6.1.6 形式定义 124

6.2 各种各样的哲学定义 124

6.2.1 艺术的六种刻画 124

6.2.2 讨论 125

6.2.3 可能的反对 126

6.3 预备性讨论 126

6.4 形式定义的句法 126

6.4.1 识别和复制 127

6.4.2 唯一性和标识 128

6.4.3 本体论术语 129

6.5 形式定义的语义 129

6.6 讨论 129

6.6.1 概述 129

6.6.2 原则、技术和工具 130

6.7 练习 130

7 Jackson的描述原则 133

7.1 现象、事实和个体 133

7.2 指示 133

7.2.1 一些观察 135

7.2.2 形式化 136

7.2.3 观测器函数和标识 137

7.2.4 数学和计算实体 138

7.2.5 讨论：指示 141

7.3 显式定义 142

7.3.1 定义：“狭窄之桥” 142

7.3.2 抽象、非现实概念的定义 143

7.3.3 要定义多少？ 143

7.3.4 讨论：定义 144

7.4 可驳斥断言 144

7.4.1 指示和定义断言 144

7.4.2 分析 145

7.4.3 “悬垂”断言 146

7.4.4 讨论：可驳斥断言 146

7.5 讨论：描述原则 147

7.6 文献评注 147

7.7 练习 147

7.7.1 序言 147

7.7.2 练习 147

Ⅳ　领域工程 151

8 领域工程概述 151

8.1 前言 151

8.2 回顾：为什么有领域工程 151

8.3 部分和章节的概述 152

8.4 领域参与者及其观点 152

8.5 领域获取和确认 153

8.6 领域分析和概念形成 153

8.7 领域刻面 154

8.8 领域开发的辅助阶段 154

8.9 领域模型文档 154

8.9.1 要谈问题的预览 154

8.9.2 领域模型文档内容 155

8.10　这一部分的其他结构 155

8.11　文献评注 156

8.12　练习 156

9 领域参与者 158

9.1 前言 158

9.2 参与者 158

9.2.1 一般应用参与者 158

9.2.2 软件开发参与者 159

9.2.3 列出参与者的目的 160

9.3 参与者观点 160

9.3.1 一般应用的观点 160

9.3.2 软件开发的观点 163

9.4 讨论：参与者及其观点 163

9.4.1 概述 163

9.4.2 原则、技术和工具 164

9.5 练习 164

9.5.1 序言 164

9.5.2 练习 164

9.5.3 尾言 165

10　领域属性 166

10.1　前言 166

10.2　连续、离散和混沌 166

10.2.1　时间 167

10.2.2　连续 167

10.2.3　离散 168

10.2.4　混沌 174

10.2.5　讨论 175

10.3　静态和动态 175

10.3.1　静态现象和概念 176

10.3.2　动态现象和概念 178

10.4　可触知性和不可触知性 192

10.4.1　人可触知的现象 192

10.4.2　其他物理上可触知的现象 195

10.4.3　不可触知的现象 195

10.4.4　讨论 195

10.5　一、二、……维 196

10.5.1　零维 196

10.5.2　一维 196

10.5.3　多维性 197

10.5.4　讨论 198

10.6　讨论 198

10.7　文献评注 199

10.8　练习 199

10.8.1　序言 199

10.8.2　练习 199

11　领域刻面 200

11.1　前言 200

11.1.1　分而治之 201

11.1.2　分离原则的讨论 201

11.1.3　章节结构 201

11.2　领域易化器：企业过程 202

11.2.1　企业过程 202

11.2.2　总体原则 204

11.2.3　非形式和形式示例 205

11.2.4　讨论 208

11.2.5 总结 209

11.2.6　提示 209

11.3　领域内在 209

11.3.1　总体原则 209

11.3.2　概念上和实际的内在 213

11.3.3　方法论上的结果 214

11.3.4　讨论 214

11.3.5　完全本质的内在 215

11.3.6　提醒 215

11.4　领域支持技术 215

11.4.1　整体原则 215

11.4.2　方法论上的结果 218

11.4.3　讨论 219

11.4.4　提醒 219

11.5　领域管理和组织 219

11.5.1　整体原则 219

11.5.2　概念分析，Ⅰ 220

11.5.3　方法论上的结果，Ⅰ＋Ⅱ 221

11.5.4　概念分析，Ⅱ 221

11.5.5　方法论上的结果，Ⅲ 223

11.5.6 讨论 223

11.5.7　提醒 223

11.6　领域规则和规定 224

11.6.1　整体原则 224

11.6.2　方法论上的结果 225

11.6.3　规则和规定语言 227

11.6.4　原则和技术 227

11.6.5　提示 227

11.7　领域脚本 228

11.7.1　脚本描述 228

11.7.2　方法论上的结果 247

11.7.3　提醒＋更多 247

11.8　领域的人类行为 247

11.8.1　整体原则 248

11.8.2　方法论上的结果 251

11.8.3　人类行为和知识工程 253

11.8.4 讨论 253

11.8.5　提醒 253

11.9　其他的领域刻面 253

11.10　领域模型复合 254

11.10.1　核对领域刻面描述 254

11.10.2　技术问题 255

11.11　练习 255

11.11.1　序言 255

11.11.2　练习 255

12　领域获取 257

12.1　前言 257

12.1.1　领域事实 257

12.1.2　领域事实引出 257

12.1.3　记录领域事实 258

12.1.4　索引领域描述的略述 259

12.2　获取过程 259

12.2.1　参与者联络 260

12.2.2　引出研究 260

12.2.3　引出会谈 261

12.2.4　引出问卷 261

12.2.5　引出报告 263

12.3 讨论 264

12.3.1　概念和过程回顾 264

12.3.2　过程迭代 264

12.3.3　描绘：获取和分析 264

12.3.4　原则、技术和工具 264

12.4　练习 265

12.4.1　序言 265

12.4.2　练习 265

13　领域分析和概念形成 266

13.1　前言 266

13.2　概念形成 266

13.2.1　简单抽象概念 266

13.2.2　突破性被抽象概念 268

13.3　一致性、冲突和完备性 268

13.3.1　不一致性 269

13.3.2　冲突 269

13.3.3　不完备性 269

13.3.4　宽松和非确定性 270

13.4　从分析到合成 270

13.5　讨论 270

13.5.1　概述 270

13.5.2 原则、技术和工具 270

13.6　文献评注 271

13.7　练习 271

13.7.1　序言 271

13.7.2　练习 271

14　领域验证和确认 273

14.1　前言 273

14.2　领域验证 274

14.2.1　非形式推理 274

14.2.2　测试 274

14.2.3　形式证明 275

14.2.4　模型检查 275

14.3　领域确认 275

14.3.1　领域确认文档 275

14.3.2　领域确认过程 276

14.3.3　领域开发迭代 276

14.4　讨论 276

14.4.1　概述 276

14.4.2　原则、技术和工具 276

14.5　练习 277

14.5.1　序言 277

14.5.2　练习 277

15　领域理论 278

15.1　前言 278

15.2　什么是领域理论 278

15.3　领域理论的陈述示例 279

15.4　可能的领域理论 280

15.5　我们如何建立一个理论 281

15.6　领域理论的目的 281

15.7　总结性原则、技术和工具 282

15.8　文献评注 282

15.9　练习 282

15.9.1　序言 282

15.9.2　练习 282

16　领域工程过程模型 285

16.1　前言 285

16.2　领域开发回顾 285

16.3　领域文档回顾 286

16.4　讨论 287

Ⅴ　需求工程 291

17　需求工程综述 291

17.1　前言 293

17.1.1 “需求”的进一步刻画 294

17.1.2 “机器” 294

17.2 为什么需要需求，为了什么 294

17.2.1 为什么需要需求 295

17.2.2　需求是为了什么 295

17.2.3 “实现”是指什么 295

17.3　开始需求开发 295

17.3.1　最初的信息文档 295

17.3.2　需求发现 296

17.3.3　实际的规定性文档编制 297

17.3.4　计划需求开发 298

17.4　关于领域、需求和机器 298

17.5　概述：需求工程的阶段 300

17.6　需求文档 300

17.6.1　将来事情的预览 300

17.6.2　需求文档的内容 300

17.6.3　需求文档的注释 301

17.7　本部分剩下内容的结构 302

17.8　文献评注 302

17.9　练习 302

17.9.1　序言 302

17.9.2　练习 302

18　需求参与者 304

18.1　前言 304

18.2　常规应用的参与者 304

18.3　COTS软件开发商的参与者 305

18.3.1　概述 305

18.3.2 “公司知识” 305

18.3.3　领域特定的需求分类 305

18.3.4 通常的COTS软件相关者的观点 305

18.4　讨论 306

18.4.1　概述 306

18.4.2　原则、技术和工具 306

18.5　练习 306

18.5.1　序言 306

18.5.2　练习 307

19　需求刻面 308

19.1　前言 308

19.2　粗略描述和术语表 309

19.2.1　初始需求建模 309

19.2.2　粗略描述的需求 309

19.2.3　需求术语 314

19.2.4　系统叙述 318

19.3　企业过程再工程需求 318

19.3.1　Michael Hammer关于BPR的概念 319

19.3.2　什么是BPR需求 320

19.3.3　BPR操作概述 320

19.3.4　BPR和需求文档 320

19.3.5 内在回顾和替换 321

19.3.6　支持技术回顾和替换 321

19.3.7　管理和组织再工程 322

19.3.8　规则和规定再工程 322

19.3.9　人类行为再工程 323

19.3.10　脚本再工程 323

19.3.11　讨论：企业过程再工程 323

19.4　领域需求 324

19.4.1 领域到需求的操作 324

19.4.2　领域需求和需求文档 324

19.4.3　领域示例 325

19.4.4　领域投影 326

19.4.5　领域确定 330

19.4.6　领域实例化 333

19.4.7　领域扩展 334

19.4.8　领域需求拟合 336

19.4.9　讨论：领域需求 339

19.5　接口需求 339

19.5.1　共享现象和概念标识 339

19.5.2　接口需求刻面 340

19.5.3　接口需求和需求文档 340

19.5.4　共享数据初始化 341

19.5.5　共享数据刷新 341

19.5.6　计算数据和控制接口需求 342

19.5.7　人机对话 342

19.5.8　人机生理接口 343

19.5.9　机机对话 349

19.5.10　讨论：接口需求 350

19.6　机器需求 351

19.6.1　机器需求刻面 351

19.6.2　机器需求和需求文档 351

19.6.3　性能需求 352

19.6.4　可信性需求 354

19.6.5　故障树分析 357

19.6.6　维护需求 370

19.6.7　平台需求 371

19.6.8　文档编制需求 372

19.6.9　讨论：机器需求 372

19.7　需求模型复合 373

19.7.1　概述 373

19.7.2　合并需求刻面规定 373

19.8　讨论：需求刻面 373

19.8.1　概述 373

19.8.2　原则、技术和工具 373

19.9　文献评注 373

19.10　练习 374

19.10.1　序言 374

19.10.2　练习 374

20　需求获取 376

20.1　需求获取和领域模型 376

20.2　基于领域模型的需求获取 377

20.2.1　领域需求获取、预览 377

20.2.2　其余的需求获取、概览 377

20.2.3　其他问题 378

20.3　概念概述 378

20.3.1　需求 378

20.3.2　需求的引出 378

20.3.3　记录需求 378

20.3.4　索引需求规定描述 380

20.4　获取过程 380

20.4.1　参与者联络 381

20.4.2　引出研究 381

20.4.3　引出会谈 381

20.4.4 引出调查问卷 381

20.4.5　引出报告 384

20.5　讨论 385

20.5.1　概念和过程回顾 385

20.5.2　过程迭代 385

20.5.3　描述：获取和分析 385

20.5.4　原则、技术和工具 385

20.6　练习 386

20.6.1　序言 386

20.6.2　练习 386

21　需求分析和概念形成 387

21.1　前言 387

21.2　概念形成 388

21.3　一致性、冲突和完备性 388

21.3.1　不一致性 389

21.3.2　冲突 389

21.3.3　不完备性 389

21.3.4　宽松性和非确定性 389

21.4　从分析到合成 390

21.5　讨论 390

21.5.1　概述 390

21.5.2　原则、技术和工具 390

21.6　文献评注 391

21.7　练习 391

21.7.1　序言 391

21.7.2　练习 391

22　需求的验证和确认 392

22.1　前言 392

22.2　需求验证 393

22.2.1　非形式推理 393

22.2.2　测试 393

22.2.3　形式证明 394

22.2.4　模型检查 394

22.3　需求确认 394

22.3.1 需求确认文档 394

22.3.2　需求确认过程 395

22.3.3　需求开发迭代 395

22.4　讨论 395

22.4.1　简介 395

22.4.2　原则、技术和工具 395

22.5　文献评注 396

22.6　练习 396

22.6.1　序言 396

22.6.2　练习 396

23　需求的可满足性和可行性 397

23.1　前言 397

23.2　满足性研究 397

23.2.1 正确的（检验过的）需求文档 398

23.2.2　无二义性的需求文档 398

23.2.3　完备的需求文档 398

23.2.4　一致的需求文档 398

23.2.5　稳定的需求文档 398

23.2.6　可验证的需求文档 398

23.2.7　可修改的需求文档 398

23.2.8 可追溯的需求文档 399

23.2.9　忠实的需求文档 399

23.2.10　可满足性的讨论 399

23.3　技术可行性研究 399

23.3.1　企业过程再工程的可行性 399

23.3.2　硬件的可行性 399

23.3.3　软件的可行性 400

23.3.4　技术可行性讨论 400

23.4　经济可行性研究 400

23.4.1 可行的开发费用 400

23.4.2 可行的折旧费用 400

23.4.3　收益大于投入？ 400

23.4.4　关于经济可行性的讨论 400

23.5　顺从于隐含／派生目标 401

23.5.1 隐含／派生目标的审阅 401

23.5.2　隐含／派生目标的讨论 401

23.6　讨论 401

23.6.1　概述 401

23.6.2　原则、技术和工具 401

23.7　练习 402

23.7.1　序言 402

23.7.2　练习 402

24　需求工程过程模型 403

24.1　前言 403

24.2　需求开发的回顾 403

24.3　回顾需求文档 404

24.4　重复的内容列表 404

24.5 讨论 405

Ⅵ　计算系统设计 409

25　硬件／软件协同设计 409

25.1　前言——关于体系结构 409

25.2　硬件构件和模块 409

25.3　软件构件和模块 410

25.4　硬件／软件协同设计 410

25.5　体系结构的逐步改进 410

25.6　讨论 411

25.7　原则、技术和工具 411

26　软件体系结构设计 412

26.1　前言 412

26.2　初始的领域需求体系结构 412

26.3　初始机器需求体系结构 414

26.4　一些机器需求的分析 416

26.4.1　性能 416

26.4.2　可用性 416

26.4.3　可存取性 416

26.4.4　适应可维护性 417

26.5　设计决策的优先 417

26.6　相应的设计 417

26.6.1 关于性能的设计决策 417

26.6.2　可用性的设计决策 418

26.6.3　关于可存取性的设计决策 419

26.6.4　关于适应性的设计决策 421

26.7　讨论 421

26.7.1　概述 421

26.7.2　原则和技术 422

26.8　文献评注 422

26.9　练习 423

26.9.1　序言 423

26.9.2　练习 423

27　构件设计的范例分析 424

27.1　概述性前言 424

27.1.1　系统复杂性 424

27.1.2　建议的解决办法 425

27.1.3　逐步开发 425

27.1.4 逐阶段迭代 425

27.2　示例概述 425

27.3　方法论概述 426

27.3.1 原则 426

27.3.2　技术 427

27.4　步骤0：文件和页 428

27.4.1 “快照” 428

27.4.2　抽象的形式模型 428

27.4.3　抽象和具体的基本动作 429

27.4.4　具体动作 431

27.5　步骤1：编目、磁盘和存储器 431

27.5.1　编目目录 431

27.5.2　抽象 434

27.5.3 动作 435

27.5.4　适当性和充分性 437

27.5.5　正确性 437

27.6　步骤2：磁盘 439

27.6.1　数据精化 439

27.6.2 磁盘类型 439

27.6.3　FS0、FS1、FS2类型 440

27.6.4 磁盘类型不变式 440

27.6.5 磁盘类型抽象 441

27.6.6　适当性、充分性、操作和正确性 441

27.7　步骤3：高速缓存 441

27.7.1　技术考虑 441

27.7.2 高速缓存的目录和页访问 441

27.7.3　不变性 443

27.7.4　抽象 443

27.7.5　动作 444

27.7.6　适当性、充分性和正确性 445

27.8　步骤4：存储崩溃 445

27.8.1　存储和磁盘 445

27.8.2　具体语义类型 445

27.8.3 不变性 446

27.8.4　一致的存储和磁盘 446

27.8.5　抽象 448

27.8.6 垃圾收集 448

27.8.7　新动作 449

27.8.8　一些以前的命令 449

27.9　步骤5：扁平化存储和磁盘 450

27.9.1 “扁平”存储和磁盘 450

27.9.2 “其他” 451

27.10　步骤6：磁盘空间管理 451

27.10.1　问题 451

27.10.2　“其他” 452

27.11　讨论 452

27.11.1　概述 452

27.11.2　原则和技术 452

27.12　文献评注 453

27.13　练习 453

27.13.1　序言 453

27.13.2　练习 453

28　特定领域的体系结构 455

28.1　前言 455

28.1.1　概述 455

28.1.2　一些定义 455

28.1.3　关于体系结构 456

28.1.4　问题框架 456

28.1.5　章节结构 457

28.2　翻译器体系结构 457

28.2.1　翻译器领域 457

28.2.2　翻译器需求 458

28.2.3　翻译器设计 459

28.2.4　翻译器开发的过程图 461

28.3　信息储存库体系结构 464

28.3.1　信息储存库领域 465

28.3.2　信息储存库需求 467

28.3.3　信息储存库设计 468

28.4　客户端／服务器体系结构 477

28.4.1　客户端／服务器领域／需求模型 477

28.4.2　一些元RSL/CSP结构 480

28.4.3　单客户端、单服务器模型 482

28.4.4 多客户端、多服务器模型 485

28.4.5　客户端／服务器事件管理器模型 486

28.4.6　讨论 493

28.5　工件体系结构 494

28.5.1　工件领域 494

28.5.2　工件需求 494

28.5.3　工件系统设计 497

28.6　反应系统体系结构 497

28.6.1　反应系统领域 497

28.6.2　反应系统控制需求 499

28.6.3　反应系统控制设计 500

28.6.4　反应系统设计的讨论 500

28.7　连接框架 501

28.7.1　连接领域 501

28.7.2　连接需求 502

28.7.3　连接系统设计 504

28.8　讨论 504

28.8.1　概述 504

28.8.2　原则、技术和工具 504

28.9　练习 505

28.9.1　序言 505

28.9.2　练习 505

29　其他：编码及其全部！ 508

29.1　从形式规约到程序设计 508

29.1.1　从规约到程序 508

29.1.2　从抽象类型到数据结构 509

29.1.3　从应用式到命令式程序 509

29.1.4　翻译到并发程序 509

29.1.5 从RSL到SML、Java、C＃和其他语言 509

29.2　程序设计之美 509

艺术、规范、工艺、科学、逻辑、实践 509

29.3　程序设计实践 510

29.3.1 结构化程序设计 510

29.3.2　极限程序设计 510

29.3.3　面向对象和UML程序设计 511

29.3.4　主程序员的程序设计 511

29.4　构建信任的软件开发 511

29.4.1 什么时候验证、模型检查和测试 512

29.4.2　演示→框架→原型→系统 513

29.5　验证、模型检查和测试 515

29.5.1　验证 516

29.5.2　模型检查 517

29.5.3　测试 518

29.5.4　讨论 520

29.6　讨论 520

29.7　练习 520

29.7.1　序言 520

29.7.2　练习 520

30　计算系统设计过程模型 521

30.1　前言 521

30.2　软件设计的回顾 521

30.2.1　过程模型 521

30.2.2　讨论 523

30.3　软件设计文档回顾 523

30.4　讨论 525

Ⅶ　结束语 529

31　三部曲开发过程模型 529

31.1　时期过程模型 529

31.2　时期文档编制目录 531

31.3　结论 533

32　尾章 537

32.1 非形式和形式软件工程 537

32.1.1　非形式软件工程 537

32.1.2　形式软件工程 537

32.1.3　结论 538

32.2　形式方法的神话和戒律 538

32.2.1　头七个神话 538

32.2.2　其他的七个神话 539

32.2.3　十个形式方法戒律 540

32.3 FAQ（Frequently Asked Questions）：常见问题 541

32.3.1　概述 541

32.3.2　领域 542

32.3.3　需求 543

32.4　研究和工具开发 543

32.4.1 演化的原则、技术和工具 543

32.4.2　巨大的挑战 544

32.5　应用领域 545

32.5.1　其他领域 546

32.5.2　示例 546

32.6　结束语 547

32.6.1　程序设计、工程和管理 547

32.6.2 目前的软件工程综合体系 547

32.6.3 目前的软件工程术语 548

32.6.4　软件工程的全新视角 548

Ⅷ　附录 551

A RSL入门 551

A.1 类型 551

A.1.1 类型表达式 551

A.1.2 类型定义 552

A.2　RSL谓词演算 554

A.2.1 命题表达式 554

A.2.2 简单谓词表达式 554

A.2.3 量化表达式 554

A.3　具体RSL类型 555

A.3.1 集合枚举 555

A.3.2 笛卡尔枚举 555

A.3.3 列表枚举 555

A.3.4 映射枚举 556

A.3.5 集合操作 557

A.3.6 笛卡尔操作 558

A.3.7　列表操作 559

A.3.8 映射操作 561

A.4 λ演算和函数 563

A.4.1 λ演算句法 563

A.4.2 自由和约束变量 563

A.4.3 代入 563

A.4.4 α重命名和β归约 564

A.4.5 函数基调 564

A.4.6 函数定义 564

A.5 其他的应用式表达式 565

A.5.1 let表达式 565

A.5.2 条件 566

A.5.3 操作符／操作数表达式 567

A.6 命令式结构 567

A.6.1 变量和赋值 567

A.6.2 语句序列和skip 568

A.6.3 命令式条件 568

A.6.4 迭代条件式 568

A.6.5 迭代序列化 568

A.7 进程结构 568

A.7.1 进程通道 568

A.7.2 进程复合 569

A.7.3 输入／输出事件 569

A.7.4 进程定义 569

A.8 简单RSL规约 570

B　术语表 571

参考文献 573