CONTENIDO:
Preface
1. High Integrity Software Development
2. Propositional and Predicate Logic
3. An Introduction to Specification in VDM-SL
4. From VDM Specifications to Java Implementations
5. Sets
6. Implementing Sets
7. Sequences
8. Implementing Sequences
9. Composite Objects
10. Implementing Composite Objects
11. Maps
12. Implementing Maps
13. Case Study Part 1: Specification
14. Case Study Part 2: Implementation
Index