John Fitzgerald, Peter Gorm Larsen

Modelling Systems

Practical Tools and Techniques in Software Development

• Gebundenes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• 2nd edition
• Seitenzahl: 304
• Erscheinungstermin: 27. Juli 2009
• Englisch
• Abmessung: 246mm x 178mm x 20mm
• Gewicht: 680g
• ISBN-13: 9780521899116
• ISBN-10: 0521899117
• Artikelnr.: 25987159

Autorenporträt

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

Inhaltsangabe

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.