↓ Skip to main content

ZB 2002:Formal Specification and Development in Z and B

Overview of attention for book
Cover of 'ZB 2002:Formal Specification and Development in Z and B'

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
Attention for Chapter 20: ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
3 Mendeley