↓ 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 18: Type Synthesis in B and the Translation of B to PVS
Altmetric Badge


4 Dimensions

Readers on

6 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Type Synthesis in B and the Translation of B to PVS
Chapter number 18
Book title
ZB 2002:Formal Specification and Development in Z and B
Published by
Springer, Berlin, Heidelberg, January 2002
DOI 10.1007/3-540-45648-1_18
Book ISBNs
978-3-54-043166-4, 978-3-54-045648-3

Jean-Paul Bodeveix, Mamoun Filali, Bodeveix, Jean-Paul, Filali, Mamoun

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 6 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 17%
Brazil 1 17%
Unknown 4 67%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 2 33%
Student > Ph. D. Student 1 17%
Student > Bachelor 1 17%
Researcher 1 17%
Student > Master 1 17%
Other 0 0%
Readers by discipline Count As %
Computer Science 5 83%
Engineering 1 17%