Modelling Systems

Updated introduction to software modelling using VDM. Includes advanced online tool support and up-to-date reports on real commercial applications.

Auteur

John Fitzgerald is a Reader in Computing Science at the University of Newcastle upon Tyne.

Résumé
An introduction to software modelling using VDM (Vienna Development Method) that combines training in the formalism with industry-strength tool support and examples derived from commercial applications. This updated second edition includes advanced online tool support for formal modelling, online teaching support material, and up-to-date reports on real commercial applications.

Contenu

Foreword to the first edition; Preface; 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; A. Language guide; B. Solutions to exercises; Bibliography; Subject index; Definitions index.