Modelling Systems Practical Tools and Techniques in Software Development 2nd Edition by John Fitzgerald, Peter Gorm Larsen ISBN 0521899117 9780521899116

Modelling Systems Practical Tools and Techniques in Software Development 2nd Edition by John Fitzgerald, Peter Gorm Larsen – Ebook PDF Instant Download/Delivery: 0521899117, 9780521899116
Full download Modelling Systems Practical Tools and Techniques in Software Development 2nd Edition after payment

Product details:

ISBN 10: 0521899117 
ISBN 13: 9780521899116
Author: John Fitzgerald, Peter Gorm Larsen

Modelling Systems Practical Tools and Techniques in Software Development 2nd Table of contents:

1 Introduction
1.1 Software
1.2 Modelling and analysis
1.3 This book
1.4 VDM-SL
1.5 The structure of a VDM-SL model
1.5.1 Modelling data in VDM-SL
1.5.2 Modelling functionality in VDM-SL
1.6 Analysing a model
Summary
2 Constructing a Model
2.1 Introduction
2.2 Requirements for an alarm system
2.3 Constructing a model from scratch
2.4 Reading the requirements
2.5 Extracting possible types and functions
2.6 Sketching type representations
The model so far
2.7 Sketching function signatures
2.8 Completing the type definitions
2.9 Completing the function definitions
2.10 Reviewing requirements
Weaknesses in the requirements document
Summary
3 VDMTools Lite
3.1 Introduction
3.2 Installing VDMTools Lite
3.3 Configuring the alarm example
3.4 Syntax and type checking models
3.5 Interpreting and debugging models
3.6 Test coverage
3.7 Integrity checking
3.8 Setting options
Summary
4 Describing System Properties Using Logical Expressions
4.1 Introduction
4.2 The temperature monitor
4.3 Logical expressions
4.3.1 Simple predicates
4.3.2 Building more complex predicates: logical operators
4.4 Presenting and evaluating predicates
Operator Precedence
4.5 Using quantifiers
4.6 Coping with undefinedness
Dealing with undefinedness in logic
Summary
5 The Elements of a Formal Model
5.1 Introduction
5.2 A traffic light control kernel
5.3 Union and basic types
5.3.1 Union and quote types
5.3.2 The numeric types
5.3.3 The token type
5.4 Basic type constructors
5.5 Record types
5.6 Invariants
5.7 Explicit function definitions
5.8 Functions for changing signals
5.8.1 Adding pre-conditions
5.8.2 Adding timing constraints
5.8.3 Combining the kernel functions
5.9 Reviewing the safety requirements
5.10 Optional types: modelling failure behaviour
Summary
6 Sets
6.1 Introduction
When to use sets
6.2 The set type constructor
6.3 Defining sets
6.4 Modelling with sets
6.4.1 The explosives store controller example
6.4.2 The explosive store controller’s data model
6.4.3 The controller’s functionality
6.5 Distributed set operators
6.6 Summary
7 Sequences
7.1 Introduction
When to use sequences
7.2 The sequence type constructor
7.3 Defining sequences
7.4 Modelling with sequences
7.4.1 The trusted gateway example
7.4.2 The gateway’s data model
7.4.3 The gateway’s functionality
Comprehension versus recursion
7.5 Further operators on sequences
7.6 Abstraction lesson: choosing abstraction levels
Summary
8 Mappings
8.1 Introduction
When to use mappings
8.2 The mapping type constructor
8.3 Defining mappings
8.4 Modelling with mappings
8.4.1 The nuclear tracker example
8.4.2 Basic data types in the tracker model
8.4.3 The tracker invariant
8.4.4 The tracker’s functionality
8.5 Summary
9 Recursive Structures
9.1 Recursive data structures: trees
9.2 Abstract syntax trees
9.3 Directed graphs
9.4 An application of directed graphs: code optimisation
9.5 Abstraction lesson: executability
Summary
10 Validating Models
10.1 Introduction
10.2 Internal consistency: proof obligations
10.2.1 The idea of a proof obligation
10.2.2 Domain checking
10.2.4 Satisfiability of implicit definitions
10.3 Visualisation of a model
10.4 Interfacing to legacy code
10.5 Systematic testing
10.6 Using proofs
10.7 Choosing a validation technique
Summary
11 State-Based Modelling
11.1 Introduction
11.2 State-based modelling
11.3 A state-based model of the explosives store controller
11.3.1 A state-based data model
11.3.2 Modelling functionality via operations
11.4 A state-based model of the trusted gateway
11.5 Validation of state-based models
Summary
12 Large-Scale Modelling
12.1 Introduction
12.2 A structure for the tracker model
The Containers module
The Phases module
The Tracker module
12.3 Information hiding
12.4 Object-oriented structuring
Summary
13 Using VDM in Practice
13.1 Introduction
13.2 Development activities and processes
13.3 Common development problems
13.4 Advantages of VDM technology
Improved clarification of requirements
Rapid feedback from customers and domain experts
Raising confidence in descriptions
Shorter time to market
Reducing maintenance costs
13.5 Getting started
The organisation and people involved
The development process
Effects on development profile
Integration with other tools
Applying formal modelling
Training
13.6 VDM and its extensions
13.7 Industrial applications of VDM
The TradeOne project
The FeliCa Networks project
Concluding remarks
13.8 Moving on: information resources
Summary
Appendix A Language Guide
A.1 Identifiers
A.2 Type definitions
Invariants
A.3 Basic data types and type constructors
A.4 Data type operator overview
A.4.1 The Boolean type
A.4.2 The numeric types
A.4.3 The character, quote and token types
A.4.4 Set types
A.4.5 Sequence types
A.4.6 Mapping types
A.4.7 Tuple types
A.4.8 Record types
A.4.9 Union and optional types
A.5 Expressions
A.5.1 Let expressions
A.5.2 Conditional expressions
A.5.3 Quantified expressions
A.6 Patterns
A.7 Bindings
A.8 Explicit function definition
A.9 Implicit functions
A.10 Operations
A.11 The state definition
A.12 Syntax overview
A.12.1 Module structuring
A.12.2 Definitions
Type definitions
State definition
Value definitions
Function definitions
Operation definitions
Expressions
Bracketed expressions
Local binding expressions
Conditional expressions
Unary expressions
Binary expressions
Quantified expressions
Set expressions
Sequence expressions
Mapping expressions
Tuple constructor expression
Record expressions
Apply expressions
Generalised is-expressions
Names
Literals
Patterns
Bindings
Appendix B Solutions to Exercises
B.1 Solutions for Chapter 2 Exercises
B.2 Solutions for Chapter 3 Exercises
B.3 Solutions for Chapter 4 Exercises
B.4 Solutions for Chapter 5 Exercises
B.5 Solutions for Chapter 6 Exercises
B.6 Solutions for Chapter 7 Exercises
B.7 Solutions for Chapter 8 Exercises
B.8 Solutions for Chapter 9 Exercises
B.9 Solutions for Chapter 10 Exercises
B.10 Solutions for Chapter 11 Exercises

People also search for Modelling Systems Practical Tools and Techniques in Software Development 2nd:

practical model-based systems engineering
    
a practical guide to sysml the systems modeling language pdf
    
a practical guide to sysml the systems modeling language
    
practical model-based testing a tools approach
    
practical guide to sysml pdf

Tags: John Fitzgerald, Peter Gorm Larsen, Modelling Systems, Techniques, Software