Name: ZB 2000: Formal Specification and Development in Z and B
ISBN: 978-3-540-44525-8

Editors:

Jonathan P. Bowen⁰,
Steve Dunne,
Andy Galloway,
…
Steve King

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
Steve Dunne

View editor publications

You can also search for this editor in PubMed Google Scholar
Andy Galloway

View editor publications

You can also search for this editor in PubMed Google Scholar
Steve King

View editor publications

You can also search for this editor in PubMed Google Scholar

Includes supplementary material: sn.pub/extras

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

5417 Accesses
149 Citations

eBook USD 99.00

Price excludes VAT (USA)

Softcover Book USD 129.00

Price excludes VAT (USA)

Learn about institutional subscriptions

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

Table of contents (29 papers)

Front Matter

Pages I-XIV

PDF
Meeting the Challenge of Object-Oriented Programming
- Mike Spivey
Pages 1-1
A Formal Mapping between UML Models and Object-Z Specifications
- Soon-Kyeong Kim, David Carrington
Pages 2-21
A Generic Process to Refine a B Specification into a Relational Database Implementation
- Régine Laleau, Amel Mammar
Pages 22-41
Recursive Schema Definitions in Object-Z
- Graeme Smith
Pages 42-58
On Mutually Recursive Free Types in Z
- I. Toyn, S. H. Valentine, D. A. Duffy
Pages 59-74
Reasoning Inductively about Z Specifications via Unification
- David A. Duffy, Ian Toyn
Pages 75-94
Reconciling Axiomatic and Model-Based Specifications Using the B Method
- Ken Robinson
Pages 95-106
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
- Theo Dimitrakos, Juan Bicarregui, Brian Matthews, Tom Maibaum
Pages 107-126
Automatic Construction of Validated B Components from Structured Developments
- Pierre Bontron, Marie-Laure Potet
Pages 127-147
Playing with Abstraction and Refinement for Managing Features Interactions
- Dominique Cansell, Dominique Méry
Pages 148-167
A Formal Architecture for the 3APL Agent Programming Language
- Mark d’Inverno, Koen Hindriks, Michael Luck
Pages 168-187
How to Drive a B Machine
- Helen Treharne, Steve Schneider
Pages 188-208
Deriving Software Specifications from Event Based Models
- Nestor Lopez, Marianne Simonot, Veronique Viguié Donzeau-Gouge
Pages 209-229
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
- F. Bellegarde, C. Darlot, J. Julliand, O. Kouchnarenko
Pages 230-249
Type-Constrained Generics for Z
- Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
Pages 250-263
Typechecking Z
- Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
Pages 264-285
Guards, Preconditions, and Refinement in Z
- Ralph Miarka, Eerke Boiten, John Derrick
Pages 286-303
Retrenchment, Refinement, and Simulation
- R. Banach, M. Poppleton
Pages 304-323
Performing Algorithmic Refinement before Data Refinement in B
- Michael Butler, Mairead Meagher
Pages 324-343

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.

Keywords

B Method
Formal Methods
Formal Verification
Hardware Verification
Resolution
Safety-Critical Systems
Simulation
Software Construction
Unified Modeling Language (UML)
algorithms
formal method
formal specification
object-oriented programming
programming language
systems Development

Editors and Affiliations

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

Jonathan P. Bowen

Bibliographic Information

Book Title: ZB 2000: Formal Specification and Development in Z and B
Book Subtitle: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Editors: Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-44525-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2000
Softcover ISBN: 978-3-540-67944-8Published: 16 August 2000
eBook ISBN: 978-3-540-44525-8Published: 26 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 510
Topics: Software Engineering, Computer Science Logic and Foundations of Programming, Programming Techniques, Formal Languages and Automata Theory