Modeling from A to Z/Front Cover


This book is for all who want to learn about the use of mathematics and logic in the design of computing systems.

A model is like the architectural drawings. It gives a feeling for the actual thing yet to be built.

We will look at some apparently very simple models of

  • an address book
  • a waste management system
  • and so on

We will show how to build the model, how to exercise the model, how to verity the rightness of the model using very well-known but techniques such as

  • Alloy
  • B-tool
  • not C or C++ or an other C-like programming language
  • ...
  • VDM
  • ...
  • Z