世界著名计算机教材精选·软件工程卷3：领域、需求与软件设计H1

　　《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。

　　《软件工程卷3：领域、需求与软件设计》介绍了整体软件开发的基本原理和技巧：从领域描述，经过需求分析，直到软件设计。本卷倡导一种全新的软件工程开发模式：在需求被形式化之前，人们必须理解应用领域，因此本卷首先介绍领域描述的原理和技术，然后介绍从领域模型导出需求规则的原理和技术，最后介绍细化需求到软件设计的原理和技术：体系结构和组件设计。

　　这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够被应用于大型工业和商业软件的开发项目中去的。

　　这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。

原著作者为中文版所作的序
译者序
前言
概述
卷3的简要指南
致谢
I开篇
1三部曲范式
1.1软件工程的描绘
1.1.1“旧的”描绘
1.1.2我们的观点：什么是软件工程
1.2软件工程三部曲
1.2.1领域与论域
1.2.2领域工程
1.2.3需求工程
1.2.4软件
1.2.5软件设计
1.2.6讨论
1.3开发的时期、阶段与步骤
1.3.1软件开发的时期
1.3.2开发的阶段与步骤
1.3.3领域开发
1.3.4需求开发
1.3.5计算系统设计
1.3.6寸论：时期、阶段与步骤
1.4部曲过程模型——首次考虑
1.4.1过程模型的概念
1.4.2三部曲过程模型
1.5第1章的结论
1.5.1概要
1.5.2稍后将会介绍什么
1.6文献评注
1.7练习
1.7.1一系列的软件开发
1.7.2前言的注解
1.7.3练习

2文档
2.1文档编制就是全部
2.2文档部分的种类
2.2.1概述
2.2.2什么是描述
2.3可交付物
2.4信息文档部分
2.4.1姓名、位置和日期
2.4.2合作者
2.4.3当前情况、需要、想法和概念
2.4.4范围、区间、纲要
2.4.5假设和依赖
2.4.6隐含／派生目标
2.4.7标准
2.4.8合同和设计概要
2.4.9日志
2.4.10信息文档编制的讨论
2.5描述文档部分
2.5.1粗略描述
2.5.2术语
2.5.3叙述
2.5.4形式叙述
2.5.5描述性文档编制讨论
2.6分析文档部分
2.6.1概念形成
2.6.2确认
2.6.3验证、模型检查、测试
2.6.4理论形成
2.6.5分析文档编制的讨论
2.7讨论
2.7.1概述
2.7.2章节总结
2.8练习
2.8.1序言
2.8.2练习

Ⅱ概念框架
3方法和方法论
3.1方法
3.2方法学
3.3方法构成
3.3.1.原则
3.3.2分析
3.3.3构造(或合成)
3.3.4技术
3.3.5工具
3.4发原则、技术和工具
3.4.1一些元原则
3.4.2一些原则、技术和工具
3.5讨论
3.6练习

4模型和建模
4.1介绍性、场景设定论述
4.1.1模型和“可能世界
4.1.2规约的模型
4.1.3建模
4.1.4论域
4.2模型属性
4.2.1类比、分析、形象模型
4.2.2描述和规定模型
4.2.3外延和内涵模型
4.3模型的角色
4.4建模原则
4.5讨论
4.6练习

Ⅲ描述：理论和实践
5现象和概念
5.1前言
5.2现象和概念
5.2.1物理上显然的现象
5.2.2思维构想的概念
5.2.3现象和概念的类别
5.2.4具体和抽象概念
5.2.5描述的类别
5.2.6什么是描述
5.3实体
5.3.1原子实体
5.3.2复合实体
5.3.3子实体
5.3.4值、部分整体关系、属性
5.3.5实体的部分整体关系
5.3.6部分整体关系和属性
5.3.7面向模型的部分整体关系
5.3.8面向模型的属性——题外话
5.3.9实体性质
5.3.10现实的示例和我们的类型系统
5.3.11类型系统
5.3.12类型约束
5.3.13总结：原则、技术和工具
5.4函数
5.4.1函数基调
5.4.2函数定义
5.4.3算法
5.5事件和行为
5.5.1状态、动作、事件和行为
5.5.2同步和通信
5.5.3进程
5.5.4迹
5.5.5进程定义语言
5.6建模现象和概念的选择
5.6.1定性特性
5.6.2定量特性
5.6.3原则、技术和工具
5.7讨论
……
6关于下定义和关于定义
6.1定义的语用
6.2各种各样的哲学定义
6.3预备性讨论
6.4形式定义的句法
6.5形式定义的语义
6.6讨论
6.7练习

7Jatkson的描述原则
7.1现象、事实和个体
7.2指示
7.3显式定义
7.4可驳斥断言
7.5讨论：描述原则
7.6文献评注
7.7练习

Ⅳ领域工程
8领域工程概述
8.1前言
8.2回顾：为什么有领域工程
8.3部分和章节的概述
8.4领域参与者及其观点
8.5领域获取和确认
8.6领域分析和概念形成
8.7领域刻面
8.8领域开发的辅助阶段
8.9领域模型文档
8.10这一部分的其他结构
8.11文献评注
8.12练习

9领域参与者
9.1前言
9.2参与者
9.3参与者观点
9.4讨论：参与者及其观点
9.5练习

10领域属性
10.1前言
10.2连续、离散和混沌
10.3静态和动态
10.4可触知性和不可触知性
10.5一、二、……维
10.6讨论
10.7文献评注
10.8练习

11领域刻面
11.1前言
11.2领域易化器：企业过程
11.3领域内在
11.4领域支持技术
11.5领域管理和组织
11.6领域规则和规定
11.7领域脚本
11.8领域的人类行为
11.9其他的领域刻面
11.10领域模型复合
11.11练习

12领域获取
12.1前言
12.2获取过程
12.3讨论
12.4练习

13领域分析和概念形成
13.1前言
13.2概念形成
13.3一致性、冲突和完备性
13.4从分析到合成
13.5讨论
13.6文献评注
13.7练习

14领域验证和确认
14.1前言
14.2领域验证
14.3领域确认
14.4讨论
14.5练习

15领域理论
15.1前言
15.2什么是领域理论
15.3领域理论的陈述示例
15.4可能的领域理论
15.5我们如何建立一个理论
15.6领域理论的目的
15.7总结性原则、技术和工具
15.8文献评注
15.9练习

16领域工程过程模型
16.1前言
16.2领域开发回顾
16.3领域文档回顾
16.4讨论

V需求工程
17需求工程综述
17.1前言
17.2为什么需要需求，为了什么
17.3开始需求开发
17.4关于领域、需求和机器
17.5概述：需求工程的阶段
17.6需求文档
17.7本部分剩下内容的结构
17.8文献评注
17.9练习

18需求参与者
18.1前言
18.2常规应用的参与者
18.3COTS软件开发商的参与者
18.4讨论
18.5练习

19需求刻面
19.1前言
19.2粗略描述和术语表
19.3企业过程再工程需求
19.4领域需求
19.5接口需求
19.6机器需求
19.7需求模型复合
19.8讨论：需求刻面
19.9文献评注
19.10练习

20需求获取
20.1需求获取和领域模型
20.2基于领域模型的需求获取
20.3概念概述
20.4获取过程
20.5讨论
20.6练习

21需求分析和概念形成
21.1前言
21.2概念形成
21.3一致性、冲突和完备性
21.4从分析到合成
21.5讨论
21.6文献评注
21.7练习

22需求的验证和确认
22.1前言
22.2需求验证
22.3需求确认
22.4讨论
22.5文献评注
22.6练习

23需求的可满足性和可行性
23.1前言
23.2满足性研究
23.3技术可行性研究
23.4经济可行性研究
23.5顺从于隐含／派生目标
23.6讨论
23.7练习

24需求工程过程模型
24.1前言
24.2需求开发的回顾
24.3回顾需求文档
24.4重复的内容列表
24.5讨论

Ⅵ计算系统设计
25硬件／软件协同设计
25.1前言——关于体系结构
25.2硬件构件和模块
25.3软件构件和模块
25.4硬件／软件协同设计
25.5体系结构的逐步改进
25.6讨论

26软件体系结构设计
26.1前言
26.2初始的领域需求体系结构
26.3初始机器需求体系结构
26.4一些机器需求的分析
26.5设计决策的优先
26.6相应的设计
26.7讨论
26.8文献评注
26.9练习

27构件设计的范例分析
27.1概述性前言
27.2示例概述
27.3方法论概述
27.4步骤0：文件和页
27.5步骤1：编目、磁盘和存储器
27.6步骤2：磁盘
27.7步骤3：高速缓存
27.8步骤4：存储崩溃
27.9步骤5：扁平化存储和磁盘
27.10步骤6：磁盘空间管理
27.11讨论
27.12文献评注
27.13练习

28特定领域的体系结构
28.1前言
28.2翻译器体系结构
28.3信息储存库体系结构
28.4客户端朋艮务器体系结构
28.532件体系结构
28.6反应系统体系结构
28.7连接框架
28.8讨论
28.9练习

29其他：编码及其全部
29.1从形式规约到程序设计
29.2程序设计之美
29.3程序设计实践
29.4构建信任的软件开发
29.5验证、模型检查和测试
29.6讨论
29.7练习

30计算系统设计过程模型
30.1前言
30.2软件设计的回顾
30.3软件设计文档回顾
30.4讨论

Ⅶ结束语
31三部曲开发过程模型
31.1时期过程模型
31.2时期文档编制目录
31.3结论

32尾章
32.1非形式和形式软件工程
32.2形式方法的神话和戒律
32.3FAQ(FrequentlyAskedQuestions)：常见问题
32.4研究和工具开发
32.5应用领域
32.6结束语

Ⅶ附录
ARSL入门
A.1类型
A.2RSL谓词演算
A.3具体RSL类型
A.4γ演算和函数
A.5其他的应用式表达式
A.6命令式结构
A.7进程结构
A.8简单RSL规约
B术语表
参考文献