Modeling from A to Z/Front Cover
Jump to navigation
Jump to search
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