Table of contents

  1. Front Matter
    Pages i-viii
  2. F. D. Rolland
    Pages 11-20
  3. F. D. Rolland
    Pages 21-30
  4. F. D. Rolland
    Pages 31-41
  5. F. D. Rolland
    Pages 42-52
  6. F. D. Rolland
    Pages 53-66
  7. F. D. Rolland
    Pages 67-78
  8. F. D. Rolland
    Pages 79-104
  9. F. D. Rolland
    Pages 105-106
  10. Back Matter
    Pages 107-122

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.


design development formal methods language programming software

Authors and affiliations

  • F. D. Rolland
    • 1
  1. 1.Department of ComputingManchester PolytechnicUK

Bibliographic information