本书介绍了整体软件开发的基本原理和技巧：从领域描述，经过需求分析，直到软件设计。本卷倡导一种全新的软件工程开发模式：在需求被形式化之前，人们必须理解应用领域，因此本卷首先介绍领域描述的原理和技术，然后介绍从领域模型导出需求规则的原理和技术，最后介绍细化需求到软件设计的原理和技术：体系结构和组件设计。本书书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书，而且在工业和计算机产业界也具有极大的实用价值。

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

《软件工程卷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 练习

……

Ⅱ　概念框架

Ⅲ　描述：理论和实践

Ⅳ　领域工程

Ⅴ　需求工程

Ⅵ　计算系统设计

Ⅶ　结束语

Ⅷ　附录

参考文献