软件工程卷1：抽象与建模

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