ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Editors:

ISBN: 978-3-540-40253-4 (Print) 978-3-540-44880-8 (Online)

Table of contents (31 chapters)

previous Page of 2
  1. No Access

    Book Chapter

    Pages 1-1

    Alloy: A Logical Modelling Language

  2. No Access

    Book Chapter

    Pages 2-19

    An Outline Pattern Language for Z: Five Illustrations and Two Tables

  3. No Access

    Book Chapter

    Pages 20-39

    Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z

  4. No Access

    Book Chapter

    Pages 40-57

    Reuse of Specification Patterns with the B Method

  5. No Access

    Book Chapter

    Pages 58-78

    Composing Specifications Using Communication

  6. No Access

    Book Chapter

    Pages 79-97

    When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets

  7. No Access

    Book Chapter

    Pages 98-100

    How to Diagnose a Modern Car with a Formal B Model?

  8. No Access

    Book Chapter

    Pages 101-102

    Parallel Hardware Design in B

  9. No Access

    Book Chapter

    Pages 103-126

    Operation Refinement and Monotonicity in the Schema Calculus

  10. No Access

    Book Chapter

    Pages 127-147

    Using Coupled Simulations in Non-atomic Refinement

  11. No Access

    Book Chapter

    Pages 148-167

    An Analysis of Forward Simulation Data Refinement

  12. No Access

    Book Chapter

    Pages 168-177

    B#: Toward a Synthesis between Z and B

  13. No Access

    Book Chapter

    Pages 178-196

    Introducing Backward Refinement into B

  14. No Access

    Book Chapter

    Pages 197-215

    Expression Transformers in B-GSL

  15. No Access

    Book Chapter

    Pages 216-239

    Probabilistic Termination in B

  16. No Access

    Book Chapter

    Pages 240-259

    Probabilistic Invariants for Probabilistic Machines

  17. No Access

    Book Chapter

    Pages 260-279

    Proving Temporal Properties of Z Specifications Using Abstraction

  18. No Access

    Book Chapter

    Pages 280-299

    Compositional Verification for Object-Z

  19. No Access

    Book Chapter

    Pages 300-318

    Timed CSP and Object-Z

  20. No Access

    Book Chapter

    Pages 319-338

    Object Orientation without Extending Z

previous Page of 2