Bloomsbury Home
Formal Software Development
From VDM to Java
- Textbook
Formal Software Development
From VDM to Java
- Textbook
Quantity
In stock
$125.05
RRP $138.95
Website price saving $13.90 (10%)
This product is usually dispatched within 3 days
- Delivery and returns info
-
Free CA delivery on orders $40 or over
This title is available for exam copy requests
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 | Sep 09 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
$157.95
RRP $175.50
$157.95
RRP $175.50