颂辞

所有与Jean-Raymond Abrial有着特殊友谊的人们,早就在关注着他所从事的这一伟大工作了。它不啻于一种对软件工程本质的完整理解,从需求的获取和分析,规范的形式化,设计的演化,到程序的生成和在计算机上的实现。这本书的出版代表着他的工作的最高成就,也是对我们最大胆奢望的完满回应。

现在可以有更广泛的读者群了,对于他们,本书将是一本启示录。他们将第一次看到作者富于开拓性的智慧,第一次享受其清晰而练达简洁的写作方式。他的建树在于将数学概念与直观启示平滑衔接,并驾御着两者去解决现代程序设计实践中的各种问题。这里有许许多多东西值得人们在学习中享用,将所得用于实践则定能获益更丰。预祝各位阅读、学习、享受并走向成功!

C.A.R. Hoare