Modeling from A to Z/Front Cover

From Wikibooks, open books for an open world
Jump to navigation Jump to search


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