Modelling Systems

Discover the essential guide to software modelling with Modelling Systems by John Fitzgerald, published by Cambridge University Press in 2009. This revised second edition spans 304 pages and provides an in-depth introduction to the Vienna Development Method (VDM). Combining formal training with robust industry tool support, this book offers practical examples drawn from real commercial applications.

The updated edition features enhanced online tool support for formal modelling and includes valuable online teaching materials. Stay informed with the latest reports on commercial applications, making this book a vital resource for professionals and students alike. Elevate your understanding of software development and modelling techniques with Modelling Systems.