Access this book
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
This text aims to provide a practical programmer's introduction to VDM (Vienna Development Method) - one of the leading methods of formal methods for program development. Adopts an object-oriented approach to software design and includes many examples of target programs written in Modula-2. Although intended for readers with some experience of programming, no prior knowledge of mathematics is assumed: the contents include a chapter on the mathematics required for VDM. The final chapter contains a prototype electronic mail system, specified using VDM, and implemented in Modula-2.
Authors and Affiliations
Bibliographic Information
Book Title: Programming with VDM
Authors: F. D. Rolland
Series Title: Computer Science Series
DOI: https://doi.org/10.1007/978-1-349-12692-7
Publisher: Red Globe Press London
eBook Packages: Engineering, Engineering (R0)
Copyright Information: F.D. Rolland 1992
Edition Number: 1
Number of Pages: VIII, 122
Additional Information: Previously published under the imprint Palgrave
Topics: Software Engineering/Programming and Operating Systems