Modelling systems : practical tools and techniques in software development / John Fitzgerald and Peter Gorm Larsen
By: Fitzgerald, John
.
Contributor(s): Larsen, P. G. (Peter Gorm) [(j.a.)]
.
Publisher: Cambridge, U.K. : Cambridge University Press, 1998Description: xv, 269 p. : ill. ; 26 cm. + 1 electronic optical disc (CD-ROM) (4 3/4 in.).ISBN: 0521623480.Subject(s): Computer software -- Development![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Remark |
---|---|---|---|---|---|---|---|---|---|
Accompanying Material (Media Resource) | TU External Storage-LCS | 005.1 FIT (Browse shelf) | CD-ROM | 1 | Available | SOCIT,15008,03,GR | 1000113981 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 | |
Accompanying Material (Media Resource) | TU External Storage-LCS | 005.1 FIT (Browse shelf) | CD-ROM | 1 | Available | SOCIT,15008,03,GR | 1000113697 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 | |
Accompanying Material (Media Resource) | TU External Storage-LCS | 005.1 FIT (Browse shelf) | CD-ROM | 1 | Available | SOCIT,15008,03,GR | 1000113699 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 |
Browsing Taylor's Library-TU Shelves Close shelf browser
005.1 FEL 2011 Android application development for dummies / | 005.1 FEN Software metrics : | 005.1 FEN Software metrics : | 005.1 FIT Modelling systems : | 005.1 FIT Modelling systems : | 005.1 FIT Modelling systems : | 005.1 FIT Modelling systems : |
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.