Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Theories, Implementations, and Transformations
3. Altmetric Badge
   Chapter 2 Incremental Proof of the Producer/Consumer Property for the PCI Protocol
4. Altmetric Badge
   Chapter 3 Controlling Control Systems: An Application of Evolving Retrenchment
5. Altmetric Badge
   Chapter 4 Checking Z Data Refinements Using an Animation Tool
6. Altmetric Badge
   Chapter 5 Encoding Object-Z in Isabelle/HOL
7. Altmetric Badge
   Chapter 6 Characters + Mark-up = Z Lexis
8. Altmetric Badge
   Chapter 7 Extraction of Abstraction Invariants for Data Refinement
9. Altmetric Badge
   Chapter 8 An Approach to Combining B and Alloy
10. Altmetric Badge
    Chapter 9 Software Construction by Stepwise Feature Introduction
11. Altmetric Badge
    Chapter 10 The Semantics of Circus
12. Altmetric Badge
    Chapter 11 Handling Inconsistencies in Z Using Quasi-Classical Logic
13. Altmetric Badge
    Chapter 12 Loose Specification and Refinement in Z
14. Altmetric Badge
    Chapter 13 On Using Conditional Definitions in Formal Theories
15. Altmetric Badge
    Chapter 14 A Theory of Generalised Substitutions
16. Altmetric Badge
    Chapter 15 Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
17. Altmetric Badge
    Chapter 16 ZB 2002:Formal Specification and Development in Z and B
18. Altmetric Badge
    Chapter 17 A Formal Analysis of the CORBA Security Service
19. Altmetric Badge
    Chapter 18 Type Synthesis in B and the Translation of B to PVS
20. Altmetric Badge
    Chapter 19 “Higher-Order” Mathematics in B
21. Altmetric Badge
    Chapter 20 ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries
22. Altmetric Badge
    Chapter 21 Generalised Substitution Language and Differentials
23. Altmetric Badge
    Chapter 22 ZB 2002:Formal Specification and Development in Z and B
24. Altmetric Badge
    Chapter 23 Synchronized Parallel Composition of Event Systems in B
25. Altmetric Badge
    Chapter 24 Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
26. Altmetric Badge
    Chapter 25 Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
27. Altmetric Badge
    Chapter 26 A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
28. Altmetric Badge
    Chapter 27 Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development