TY  - BOOK
AU  - Fitzgerald,John
AU  - Larsen,Peter Gorm
TI  - Modelling systems: practical tools and techniques in software development 
SN  - 9780521899116
U1  - 005.1 23
PY  - 2009///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer software
KW  - Development
N1  - Includes bibliographical references and indexes; 1. Introduction --
2. Constructing a model --
3. VDMTools lite --
4. Describing system properties using logical expressions --
5. The elements of a formal model --
6. Sets --
7. Sequences --
8. Mappings --
9. Recursive structures --
10. Validating models --
11. State-based modelling --
12. Large-scale modelling --
13. Using VDM in practice --
 Appendix A. Language guide --
 Appendix B. Solutions to exercises
N2  - This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages
ER  -