Current Books on VDM

This web site supports the use of two current texts on the Vienna Development Method (VDM). "Modelling Systems" (Fitzgerald & Larsen, second edition, 2009) is the main guide to the principles and practice of system modelling in VDM. It assumes no prior knowledge of formal modelling techniques. "Validated Designs" (Fitzgerald, Larsen, Mukherjee, Plat & Verhoef, 2005) covers the extended object-oriented version VDM and assumes some basic knowledge of o-o systems. The latter book will also appear in Japanese in August 2010. Click on the image of the book you are interested in to access support material, including teaching materials, additional exercises, tools and other information. Visit the VDM Portal to get the latest information about VDM, its community and support tools. You can also contact us by e-mail.

Because this site is a Wiki, you can contribute new material yourself. However, there have been attempts to post spam to our Wiki, therefore, you'll have to request a username by sending us an e-mail. Only bona fide contributors will be allowed to add new materials to this site!

Last updated on 27 July 2010 by MarcelVerhoef.