Skip to main content
Book cover
  • Conference proceedings
  • © 2005

ZB 2005: Formal Specification and Development in Z and B

4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Editors:

  1. Helen Treharne

    1. Department of Computing, University of Surrey,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. 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

  3. Martin Henson

    1. Department of Computer Science, University of Essex, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Steve Schneider

    1. Department of Computing, University of Surrey,  

    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 3455)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): ZB: International Conference of B and Z Users

Conference proceedings info: ZB 2005.

Sections

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-32007-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 149.00
Price excludes VAT (USA)
Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (27 papers)

  1. Front Matter

    PDF

  3. Visualising Larger State Spaces in Pro B

    • Michael Leuschel, Edd Turner
    Pages 6-23

  4. Non-atomic Refinement in Z and CSP

    • John Derrick, Heike Wehrheim
    Pages 24-44

  5. Process Refinement in B

    • Steve Dunne, Stacey Conroy
    Pages 45-64

  6. CZT: A Framework for Z Tools

    • Petra Malik, Mark Utting
    Pages 65-84

  7. Model Checking Z Specifications Using SAL

    • Graeme Smith, Luke Wildman
    Pages 85-103

  10. An Extension of Event B for Developing Grid Systems

    • Pontus Boström, Marina Waldén
    Pages 142-161

  11. The Challenge of Probabilistic Event B—Extended Abstract—

    • Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
    Pages 162-171

  12. Requirements as Conjectures: Intuitive DVD Menu Navigation

    • Jemima Rossmorris, Susan Stepney
    Pages 172-186

  13. A Prospective-Value Semantics for the GSL

    • Frank Zeyda, Bill Stoddart, Steve Dunne
    Pages 187-202

  14. Retrenchment and the B-Toolkit

    • Richard Banach, Simon Fraser
    Pages 203-221

  15. Refinement and Reachability in Event_B

    • Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
    Pages 222-241

  16. A Rigorous Foundation for Pattern-Based Design Models

    • Soon-Kyeong Kim, David Carrington
    Pages 242-261

  17. An Object-Oriented Structuring for Z Based on Views

    • Nuno Amálio, Fiona Polack, Susan Stepney
    Pages 262-278

  18. Component Reuse in B Using ACL2

    • Yann Zimmermann, Diana Toma
    Pages 279-298
Back to top

Other Volumes

  1. ZB 2005: Formal Specification and Development in Z and B

Back to top

Keywords

  • B method
  • UML
  • XML
  • Z specification language
  • ZML
  • algorithms
  • formal methods
  • formal specification
  • formal verification
  • program analysis
  • program development
  • refinement
  • system specification
  • systems design
  • systems development
Back to top

Editors and Affiliations

  • Department of Computing, University of Surrey,  

    Helen Treharne, Steve Schneider

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

    Steve King

  • Department of Computer Science, University of Essex, UK

    Martin Henson

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-32007-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 149.00
Price excludes VAT (USA)
Learn about institutional subscriptions