Taylor's Library Banner
Image from Google Jackets

Modelling systems : practical tools and techniques in software development / John Fitzgerald and Peter Gorm Larsen

By: Contributor(s): Publication details: Cambridge, U.K. : Cambridge University Press, 1998.Description: xv, 269 p. : ill. ; 26 cm. + 1 electronic optical disc (CD-ROM) (4 3/4 in.)ISBN:
  • 0521623480
Subject(s): DDC classification:
  • 005.1 FIT
Contents:
Foreword. - Preface. - 1. Introduction. - 2. Constructing a Model. - 3. Toolbox Lite. - 4. Describing System Properties Using Logical Expressions. - 5. The Elements of a Formal Model. - 6. Sets. - 7. Sequences. - 8. Mappings. - 9. Validating Models. - 10. State-Based Modelling. - 11. Large-Scale Modelling. - 12. Using VDM in Practice. - A. Language Guide. - B. Solutions to Exercises. - Bibliography. - Subject Index. - Definitions Index.
No physical items for this record

Foreword. - Preface. - 1. Introduction. - 2. Constructing a Model. - 3. Toolbox Lite. - 4. Describing System Properties Using Logical Expressions. - 5. The Elements of a Formal Model. - 6. Sets. - 7. Sequences. - 8. Mappings. - 9. Validating Models. - 10. State-Based Modelling. - 11. Large-Scale Modelling. - 12. Using VDM in Practice. - A. Language Guide. - B. Solutions to Exercises. - Bibliography. - Subject Index. - Definitions Index.

1 electronic optical disc (CD-ROM) : Toolbox lite to accompany Modelling systems : practical tools and techniques in software development [by] John Fitzgerald and Peter Gorm Larsen.