ZB 2000: Formal Specification and Development in Z and B

First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings

ISBN: 978-3-540-67944-8 (Print) 978-3-540-44525-8 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XIV

  2. No Access

    Book Chapter

    Pages 1-1

    Meeting the Challenge of Object-Oriented Programming

  3. No Access

    Book Chapter

    Pages 2-21

    A Formal Mapping between UML Models and Object-Z Specifications

  4. No Access

    Book Chapter

    Pages 22-41

    A Generic Process to Refine a B Specification into a Relational Database Implementation

  5. No Access

    Book Chapter

    Pages 42-58

    Recursive Schema Definitions in Object-Z

  6. No Access

    Book Chapter

    Pages 59-74

    On Mutually Recursive Free Types in Z

  7. No Access

    Book Chapter

    Pages 75-94

    Reasoning Inductively about Z Specifications via Unification

  8. No Access

    Book Chapter

    Pages 95-106

    Reconciling Axiomatic and Model-Based Specifications Using the B Method

  9. No Access

    Book Chapter

    Pages 107-126

    Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context

  10. No Access

    Book Chapter

    Pages 127-147

    Automatic Construction of Validated B Components from Structured Developments

  11. No Access

    Book Chapter

    Pages 148-167

    Playing with Abstraction and Refinement for Managing Features Interactions

  12. No Access

    Book Chapter

    Pages 168-187

    A Formal Architecture for the 3APL Agent Programming Language

  13. No Access

    Book Chapter

    Pages 188-208

    How to Drive a B Machine

  14. No Access

    Book Chapter

    Pages 209-229

    Deriving Software Specifications from Event Based Models

  15. No Access

    Book Chapter

    Pages 230-249

    Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants

  16. No Access

    Book Chapter

    Pages 250-263

    Type-Constrained Generics for Z

  17. No Access

    Book Chapter

    Pages 264-285

    Typechecking Z

  18. No Access

    Book Chapter

    Pages 286-303

    Guards, Preconditions, and Refinement in Z

  19. No Access

    Book Chapter

    Pages 304-323

    Retrenchment, Refinement, and Simulation

  20. No Access

    Book Chapter

    Pages 324-343

    Performing Algorithmic Refinement before Data Refinement in B

  21. No Access

    Book Chapter

    Pages 344-362

    Program Development and Specification Refinement in the Schema Calculus

previous Page of 2