Validated Designs for Object-oriented Systems

  • John Fitzgerald
  • Peter Gorm Larsen
  • Paul Mukherjee
  • Nico Plat
  • Marcel Verhoef

Table of contents

  1. Front Matter
    Pages i-xii
  2. Models and Software Development

  3. Modelling Object-oriented Systems in VDM++

  4. Modelling in Practice: Three Case Studies

  5. From Models to Code

    1. Pages 275-294
    2. Pages 295-318
    3. Pages 319-345
  6. Back Matter
    Pages 347-402

About this book


Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous & machine-supported analysis.

This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support.

Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text. Go to to download free-of-charge VDMTools Lite, which gives the possibility to try out examples from the book


Java Unified Modeling Language (UML) computer design formal method modeling object-oriented programming programming

Authors and affiliations

  • John Fitzgerald
    • 1
  • Peter Gorm Larsen
    • 2
  • Paul Mukherjee
    • 3
  • Nico Plat
    • 4
  • Marcel Verhoef
    • 5
    • 6
  1. 1.Centre for Software ReliabilityUniversity of Newcastle upon TyneUK
  2. 2.Systematic Software Engineering A/SDenmark
  3. 3.Systematic Software Engineering A/SUSA
  4. 4.West Consulting B.V.The Netherlands
  5. 5.Chess Information Technology B.V.The Netherlands
  6. 6.Radbound University NijmegenThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London Limited 2005
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-85233-881-7
  • Online ISBN 978-1-84628-107-5
  • Buy this book on publisher's site