Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Didier Bert

    1. Laboratoire LSR-IMAG, CNRS, Saint-Martin-d’Heres Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jonathan P. Bowen

    1. CISM, London South Bank University, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Steve King

    1. Department of Computer Science, University of York, Heslington, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Marina Waldén

    1. Department of Computer Science, Åbo Akademi University, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2651)

Included in the following conference series:

Conference proceedings info: ZB 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Alloy: A Logical Modelling Language

    • Daniel Jackson
    Pages 1-1

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

    • Susan Stepney, Fiona Polack, Ian Toyn
    Pages 2-19

  4. Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z

    • Susan Stepney, Fiona Polack, Ian Toyn
    Pages 20-39

  5. Reuse of Specification Patterns with the B Method

    • Sandrine Blazy, Frédéric Gervais, Régine Laleau
    Pages 40-57

  6. Composing Specifications Using Communication

    • Helen Treharne, Steve Schneider, Marchia Bramble
    Pages 58-78

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

    • Frédéric Peschanski, David Julien
    Pages 79-97

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

    • Guilhem Pouzancre
    Pages 98-100

  9. Parallel Hardware Design in B

    • Stefan Hallerstede
    Pages 101-102

  10. Operation Refinement and Monotonicity in the Schema Calculus

    • Moshe Deutsch, Martin C. Henson, Steve Reeves
    Pages 103-126

  11. Using Coupled Simulations in Non-atomic Refinement

    • John Derrick, Heike Wehrheim
    Pages 127-147

  12. An Analysis of Forward Simulation Data Refinement

    • Moshe Deutsch, Martin C. Henson
    Pages 148-167

  13. B#: Toward a Synthesis between Z and B

    • Jean-Raymond Abrial
    Pages 168-177

  14. Introducing Backward Refinement into B

    • Steve Dunne
    Pages 178-196

  15. Expression Transformers in B-GSL

    • Bill Stoddart, Frank Zeyda
    Pages 197-215

  16. Probabilistic Termination in B

    • Annabelle McIver, Carroll Morgan, Thai Son Hoang
    Pages 216-239

  17. Probabilistic Invariants for Probabilistic Machines

    • Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
    Pages 240-259

  18. Proving Temporal Properties of Z Specifications Using Abstraction

    • Graeme Smith, Kirsten Winter
    Pages 260-279

  19. Compositional Verification for Object-Z

    • Kirsten Winter, Graeme Smith
    Pages 280-299

  20. Timed CSP and Object-Z

    • John Derrick
    Pages 300-318
Back to top

Keywords

Editors and Affiliations

  • Laboratoire LSR-IMAG, CNRS, Saint-Martin-d’Heres Cedex, France

    Didier Bert

  • CISM, London South Bank University, London, UK

    Jonathan P. Bowen

  • Department of Computer Science, University of York, Heslington, York, UK

    Steve King

  • Department of Computer Science, Åbo Akademi University, Turku, Finland

    Marina Waldén

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation