Modeling from A to Z/Front Cover

MODELING FROM A TO Z

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
 * Z
 * Z