【軟件工程語言Z】繆淮扣李剛等上海科學技術文獻.pdf

上海市高校重点建设教材软件工程语言 —z 缪淮扣李刚朱关铭编著陈火旺审

前言软件工程中的形式方法是一种基于数学的软件开发方法,它可应用于软件工程的各个阶段。用形式方法开发软件可提高软件系统的正确性和可靠性,并可提高软件开发的效率。该方法日益受到计算机界和工业界的高度重视,并得到越来越广泛的应用。著名的欧洲Esprit 项目的LargeCorrect System、美国HP 公司的Analysis Information Library、德克萨斯的ComputationalLogicInc.开发式方法.软件形式规格说明的方法是形式方法最基本的部分。形式规格说明精确地描述了用户的需求、软件系统的功能和各种性质,它描述的是“做什么”,而不考虑“怎么做”。

前言3 技大学毛晓光博士也对本书进行了审阅,在此一并表示感谢.在编写本教材的过程中,参考引用了不少文献,特别是国外有关乙的教材.由于该领域正在研究和发展之中,国内尚未见到系统介绍乙的书籍,加之作者水平有限,因此书中难免有不妥之处,殷切希望广大读者批评指正。