ZB 2000:
York, UK
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (Eds.):
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.
Lecture Notes in Computer Science 1878 Springer 2000, ISBN 3-540-67944-8 
- J. Michael Spivey:
Meeting the Challenge of Object-Oriented Programming.
1
- Soon-Kyeong Kim, David A. Carrington:
A Formal Mapping between UML Models and Object-Z Specifications.
2-21
- Régine Laleau, Amel Mammar:
A Generic Process to Refine a B Specification into a Relational Database Implementation.
22-41
- Graeme Smith:
Recursive Schema Definitions in Object-Z.
42-58
- Ian Toyn, Samuel H. Valentine, David A. Duffy:
On Mutually Recursive Free Types in Z.
59-74
- David A. Duffy, Ian Toyn:
Reasoning Inductively about Z Specifications via Unification.
75-94
- Ken Robinson:
Reconciling Axiomatic and Model-Based Specifications Using the B Method.
95-106
- Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum:
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.
107-126
- Pierre Bontron, Marie-Laure Potet:
Automatic Construction of Validated B Components from Structured Developments.
127-147
- Dominique Cansell, Dominique Méry:
Playing with Abstraction and Refinement for Managing Features Interactions.
148-167
- Mark d'Inverno, Koen V. Hindriks, Michael Luck:
A Formal Architecture for the 3APL Agent Programming Language.
168-187
- Helen Treharne, Steve Schneider:
How to Drive a B Machine.
188-208
- Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge:
Deriving Software Specifications from Event Based Models.
209-229
- Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko:
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.
230-249
- Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King:
Type-Constrained Generics for Z.
250-263
- Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King:
Typechecking Z.
264-285
- Ralph Miarka, Eerke A. Boiten, John Derrick:
Guards, Preconditions, and Refinement in Z.
286-303
- Richard Banach, Michael Poppleton:
Retrenchment, Refinement, and Simulation.
304-323
- Michael J. Butler, Mairead Meagher:
Performing Algorithmic Refinement before Data Refinement in B.
324-343
- Martin C. Henson, Steve Reeves:
Program Development and Specification Refinement in the Schema Calculus.
344-362
- Jean-Louis Lanet:
Are Smart Cards the Ideal Domain for Applying Formal Methods?
363-373
- Susan Stepney, David Cooper:
Formal Methods for Industrial Products.
374-393
- Bill Stoddart:
An Execution Architecture for GSL.
394-413
- Wolfgang Grieskamp:
A Computation Model for Z Based on Concurrent Constraint Resolution.
414-432
- R. D. Arthan:
Analysis of Compiled Code: A Prototype Formal Model.
433-449
- David Everett:
Zzzzzzzzzzzzzzzzzzzzzzzzzz.
450
- David Cooper, Susan Stepney:
Segregation with Communication.
451-470
- David A. Duffy, Jürgen Giesl:
Closure Induction in a Z-Like Language.
471-490
- Chris Matthews, Paul A. Swatman:
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.
491-510
Last update Thu May 23 18:11:53 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
