Ｇ．Ｏ．里根

本书综合介绍开发高质量软件所使用的数学方法，介绍完善的软件工程所必需的数学知识，讨论用于学术研究和工业应用的数学方法。本书的目标是向读者解释数学方法的特点，从而帮助读者应用这些方法解决实际问题。

本书共有11章，各章内容如下：1、介绍软件开发所使用的数学方法，回顾比较流行的规范方法，讨论数学证明的种类和作用；2、讲述完善的软件工程必需的数学知识；3、详细讨论数学逻辑的检查方法，包括命题和谓词计算，以及在说明中产生的无定义值的检查方法；4、讲述z说明语言的主要特点和结构；5、回顾IBM公司开发维也纳VDM的历史、语言特点及其开发方法；6、解释爱尔兰学校提出的VDM的核心思想，阐明它与标准VDM的不同之处；7、介绍Dijkstra提出的计算最弱条件方法和Hoare提出的编程语言的公理语义学；8、讨论Parnas提出的经典工程方法和制表表达式；9、讲述Harlan Mills提出的打扫房间方法和软件可靠性所需的数学知识；10、讲述统一建模语言；11、讲述将数学方法应用到工业的技术。

作者于1997年在Trinity大学获得博士学位，现就职于Eirgrid公司。本书的特点是全面介绍软件质量中所涉及的数学方法，将数学方法讲述的简明易懂，适合计算机系的本科生和研究生参考学习。

赵韬，博士研究生

(中科院计算机网络信息中心)