Modelling systems : practical tools and techniques in software development / John Fitzgerald and Peter Gorm Larsen.
Material type:
TextPublication details: Cambridge ; Cambridge University Press, 2009.Edition: 2nd edDescription: xvi, 288 p. : ill. ; 26 cmISBN: - 9780521899116
- 005.1 23 F553
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 005.1 F553 (Browse shelf(Opens below)) | Available | 137206 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
| 005.1 F477 Computer evaluation of mathematical functions | 005.1 F533 Computer programming systems | 005.1 F533 CASE | 005.1 F553 Modelling systems : | 005.1 F634 Computer programming | 005.1 F634 Computer programming | 005.1 F792 Advances in programming and nonnumerical computation |
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.
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.
There are no comments on this title.
