Wikibooks

Modeling from A to Z/Front Cover

< Modeling from A to Z
This page may need to be reviewed for quality.

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
Retrieved from "https://en.wikibooks.org/wiki/Modeling_from_A_to_Z/Front_Cover"