Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Jonathan P. Bowen

    1. London South Bank University Department of Informatics, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Steve Dunne
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andy Galloway
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Steve King
    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 1878)

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (29 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Meeting the Challenge of Object-Oriented Programming

    • Mike Spivey
    Pages 1-1

  3. A Formal Mapping between UML Models and Object-Z Specifications

    • Soon-Kyeong Kim, David Carrington
    Pages 2-21

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

    • Régine Laleau, Amel Mammar
    Pages 22-41

  5. Recursive Schema Definitions in Object-Z

    • Graeme Smith
    Pages 42-58

  6. On Mutually Recursive Free Types in Z

    • I. Toyn, S. H. Valentine, D. A. Duffy
    Pages 59-74

  7. Reasoning Inductively about Z Specifications via Unification

    • David A. Duffy, Ian Toyn
    Pages 75-94

  8. Reconciling Axiomatic and Model-Based Specifications Using the B Method

    • Ken Robinson
    Pages 95-106

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

    • Theo Dimitrakos, Juan Bicarregui, Brian Matthews, Tom Maibaum
    Pages 107-126

  10. Automatic Construction of Validated B Components from Structured Developments

    • Pierre Bontron, Marie-Laure Potet
    Pages 127-147

  11. Playing with Abstraction and Refinement for Managing Features Interactions

    • Dominique Cansell, Dominique Méry
    Pages 148-167

  12. A Formal Architecture for the 3APL Agent Programming Language

    • Mark d’Inverno, Koen Hindriks, Michael Luck
    Pages 168-187

  13. How to Drive a B Machine

    • Helen Treharne, Steve Schneider
    Pages 188-208

  14. Deriving Software Specifications from Event Based Models

    • Nestor Lopez, Marianne Simonot, Veronique Viguié Donzeau-Gouge
    Pages 209-229

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

    • F. Bellegarde, C. Darlot, J. Julliand, O. Kouchnarenko
    Pages 230-249

  16. Type-Constrained Generics for Z

    • Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
    Pages 250-263

  17. Typechecking Z

    • Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
    Pages 264-285

  18. Guards, Preconditions, and Refinement in Z

    • Ralph Miarka, Eerke Boiten, John Derrick
    Pages 286-303

  19. Retrenchment, Refinement, and Simulation

    • R. Banach, M. Poppleton
    Pages 304-323

  20. Performing Algorithmic Refinement before Data Refinement in B

    • Michael Butler, Mairead Meagher
    Pages 324-343
Back to top

Keywords

About this book

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.
The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.

Editors and Affiliations

  • London South Bank University Department of Informatics, London, United Kingdom

    Jonathan P. Bowen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation