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 |
|