411 REFERENCE · Wikibooks
Modeling from A to Z/Front Cover
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
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