Limit search to available items
Resources
More Information
Book Cover
---
Author Fitzgerald, John, 1965-

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

Imprint Cambridge ; New York : Cambridge University Press, 2009.

Copies

Location Call No. Status
 CCQ - Lusail Female Library  QA76.76.D47    Available
 CCQ - Lusail Male Library  QA76.76.D47    Available
Edition 2nd ed.
Description xvi, 288 p. : ill. ; 26 cm.
Bibliography Includes bibliographical references (p. 277-281) and indexes.
Contents Constructing a model -- VDMTools lite -- Describing system properties using logical expressions -- The elements of a formal model -- Sets -- Sequences -- Mappings -- Recursive structures -- Validating models -- State-based modelling -- Large-sc
Summary 'Modelling Systems' 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.
Subject Computer software -- Development.
Added Author Larsen, P. G. (Peter Gorm), 1964-
ISBN 9780521899116
0521899117