Formal Software Development: From VDM to Java (PDF 英文版)
by Quentin Charatan, Aaron Kans

Paperback: 400 pages
Publisher: Palgrave Macmillan (September 9, 2003)
ISBN-10: 0333992814
ISBN-13: 978-0333992814

The text concentrates on the challenges that high integrity software development poses, and how formal methods can help meet these challenges.

The formal method we have chosen is VDM (the Vienna Development Method). This is one of the most mature and widely used formal methods, with an internationally recognized standard. The implementation language we have chosen is Java – one of the most common programming languages taught at universities. While we assume no previous knowledge of VDM, we do assume that the reader is familiar with the basics of programming in Java. The UML notation is also used to informally specify classes. Most readers should be familiar with this notation, but a brief overview is provided.