课程资料—软件形式化方法

2002年春季学期

Programming from Specifications (Second Edition)
Carrol Morgan, Prentice Hall, 1998
下载：[ps]
Systematic Software Development Using VDM (Second Edition)
Cliff B Jones, The University Manchester England, Prentice Hall, 1990
下载：[pdf]
Formal Methods:State of the Art and Future Directions
Edmund M. Clarke and Jeannette M. Wing
Carnegie Mellon University
下载：[pdf]
Semantic Integration of Heterogeneouse Formal Specifications via Transformation Sysytems
Martin Grobe-Rhode, 2001
下载：[pdf]
Formal Methods Specification and Verification Guidebook for Software and Computer Systems
Vol. 1: Planning and Technology Insertion, 1995
下载：[pdf]
Formal Methods Specification and Verification Guidebook for Software and Computer Systems
Vol. 2: A Practitioner's Companion, 1995
下载：[pdf]
Using Z -- Specification, Refinement, and Proof. Jim Woodcook and Jim Davies, Prentice Hall, 1997
下载：[zip]