Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

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

By: Contributor(s): Material type: TextTextPublication details: Cambridge ; Cambridge University Press, 2009.Edition: 2nd edDescription: xvi, 288 p. : ill. ; 26 cmISBN:
  • 9780521899116
Subject(s): DDC classification:
  • 005.1 23 F553
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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
Total holds: 0

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.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in