Modelling Systems: Practical Tools and Techniques for Software Development

John Fitzgerald and Peter Gorm Larsen
Cambridge University Press, 1998
with a foreword by Dines Bjørner and Cliff Jones

"This book is a must for everyone who has to design a system and is dissatisfied with the empirical approach ... It is an excellent introduction to a scientific approach to system design."
ACM Computing Reviews, August, 1999

Information Resources Page

This web site provides information about the text, resources for students and instructors, and links to other relevant sites on modelling techniques similar to those introduced in the text.

About the book
Supporting Material:

Links to information resources:

Reports on industrial applications (from the FME Database maintained by Nico Plat)
Resources for teachers of formal methods
Information and news about VDM, the modelling language used in the book. The information page includes links to recent applications and research.

John.Fitzgerald@ncl.ac.uk

29 September 2000