Bloomsbury Home
Formal Software Development
From VDM to Java
- Textbook
Formal Software Development
From VDM to Java
- Textbook
Out of stock
£62.99
RRP £69.99
Website price saving £7.00 (10%)
Notify me by email when this item is available
For information on how we process your data, read our Privacy Policy
Description
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout.
Table of Contents
Preface
High Integrity Software Development
Propositional and Predicate Logic
An Introduction to Specification in VDM-SL
From VDM Specifications to Java Implementations
Sets
Implementing Sets
Sequences
Implementing Sequences
Composite Objects
Implementing Composite Objects
Maps
Implementing Maps
Case Study Part 1: Specification
Case Study Part 2: Implementation
Index.
High Integrity Software Development
Propositional and Predicate Logic
An Introduction to Specification in VDM-SL
From VDM Specifications to Java Implementations
Sets
Implementing Sets
Sequences
Implementing Sequences
Composite Objects
Implementing Composite Objects
Maps
Implementing Maps
Case Study Part 1: Specification
Case Study Part 2: Implementation
Index.
Product details
| Published | 09 Sep 2003 |
|---|---|
| Format | Paperback |
| Edition | 1st |
| Extent | 238 |
| ISBN | 9780333992814 |
| Imprint | Bloomsbury Academic |
| Dimensions | 246 x 189 mm |
| Publisher | Bloomsbury Publishing |
ONLINE RESOURCES
Bloomsbury Collections
This book is available on Bloomsbury Collections where your library has access.
Related Titles
