本书介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言，比如B、VDM-SL和Z都具有面向模型的概念，本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式（函数式）、命令式和并发式（并行式）规约程序设计的基本原则。最后，本卷给出了一个全面的软件工程术语表以及大量的索引和参考文献。

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

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

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

《软件工程卷1：抽象与建模》介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言，比如B、VDM-SL和Z都具有面向模型的概念，本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式（函数式）、命令式和并发式（并行式）规约程序设计的基本原则。最后，本卷给出了一个全面的软件工程术语表以及大量的索引和参考文献。

《软件工程卷2：系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先，本卷讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题，比如模块（包括UML的类图）、Petri网、活动序列图、状态图和时态逻辑（包括时段演算）。最后，本卷介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生，以及研究程序设计方法学的学者的教材或参考书。

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

原著作者为中文版所作的序

译者序

前言

 丛书成因

 丛书的不足

 着手方法

 软件新观

 “轻量级”形式技术

 “超级程序设计师

 何为软件工程

 作者的愿望

 这几卷在软件工程教育课程中的作用

 为什么这么多材料

 课程中如何使用这套丛书

 本书的简要介绍

 本卷的简要介绍

致谢

Ⅰ 开篇

 1 绪论

1.1 准备

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.4 形式技术和形式工具

 1.4.1 关于形式技术和语言

 1.4.2 软件工程教材中的形式技术

 1.4.3 一些程序设计语言

 1.4.4 一些形式规约语言

 1.4.5 目前形式语言的不足

 1.4.6 其他的形式工具

 1.4.7 为什么要形式技术和形式工具

1.5 方法和方法学

 1.5.1 方法

 1.5.2 方法学

 1.5.3 讨论

 1.5.4 元方法学

1.6 软件基础

 1.6.1 教学法和范式

 1.6.2 语用、语义和句法

 1.6.3 规约和程序设计范式

 1.6.4 描述、规定和规约

 1.6.5 元语言

 1.6.6 总结

1.7 目标和效果

 1.7.1 目标

 1.7.2 效果

 1.7.3 讨论

1.8 文献评注

1.9 练习

Ⅱ 离散数学

 2 数

 3 集合

 4 笛卡尔

 5 类型

 6 函数

 7 λ演算

 8 代数

 9 数理逻辑

Ⅲ 简单RSL

 10 RSL中的原子类型和值

 11 RSL中的函数定义

 12 面向性质与面向模型的抽象

 13 RSL中的集合

 14 RSL中的笛卡尔

 15 RSL中的列表

 16 RSL中的映射

 17 RSL中的高阶函数

Ⅳ 规约类型

 18 RSL中的类型

Ⅴ 规约程序设计

 19 应用式规约程序设计

 20 命令式规约程序设计

 21 并发式规约程序设计

Ⅵ 其他

 22 其他

Ⅶ 附录

参考文献