ISBN: 3-540-67944-8
TITLE: ZB 2000: Formal Specification and Development in Z and B
AUTHOR: Bowen, Jonathan P.; Dunne, Steve; Galloway, Andy; King, Steve (Eds.)
TOC:

Meeting the Challenge of Object-Oriented Programming 1
Mike Spivey (Invited Speaker)
A Formal Mapping between UML Models and Object-Z Specifications 2
Soon-Kyeong Kim and David Carrington (Z)
A Generic Process to Refine a B Specification into a Relational Database Implementation 22
Rgine Laleau and Amel Mammar (B)
Recursive Schema Definitions in Object-Z 42
Graeme Smith (Z)
On Mutually Recursive Free Types in Z 59
I. Toyn,S.H. Valentine,and D.A. Duffy (Z)
Reasoning Inductively about Z Specifications via Unification 75
David A. Duffy and Ian Toyn (Z)
Reconciling Axiomatic and Model-Based Specifications Using the B Method 95
Ken Robinson (B)
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context 107
Theo Dimitrakos,Juan Bicarregui,Brian Matthews,and Tom Maibaum (B)
Automatic Construction of Validated B Components from Structured Developments 127
Pierre Bontron and Marie-Laure Potet (B)
Playing with Abstraction and Refinement for Managing Features Interactions 148
Dominique Cansell and Dominique Mry (Invited Speaker)
A Formal Architecture for the 3APL Agent Programming Language 168
Mark d'Inverno,Koen Hindriks,and Michael Luck (Z)
Howto drive a B Machine 188
Helen Treharne and Steve Schneider (B)
Deriving Software Specifications from Event Based Models 209
Nestor Lopez,Marianne Simonot and Veronique Vigui Donzeau-Gouge (B)
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants 230
F. Bellegarde,C. Darlot,J. Julliand,and O. Kouchnarenko (B)
Type-Constrained Generics for Z 250
Samuel H. Valentine,Ian Toyn,Susan Stepney,and Steve King (Z)
Typechecking Z 264
Ian Toyn,Samuel H. Valentine,Susan Stepney,and Steve King (Z)
Guards, Preconditions, and Refinement in Z 286
Ralph Miarka,Eerke Boiten and John Derrick (Z)
Retrenchment, Refinement and Simulation 304
R. Banach and M. Poppleton (B)
Performing Algorithmic Refinement before Data Refinement in B 324
Michael Butler and Mairead Meagher (B)
Program Development and Specification Refinement in the Schema Calculus 344
Martin C. Henson and Steve Reeves (Z)
Are Smart Cards the Ideal Domain for Applying Formal Methods? 363
Jean-Louis Lanet (Invited Speaker)
Formal Methods for Industrial Products 374 
Susan Stepney and David Cooper (Z)
An Execution Architecture for GSL 394
Bill Stoddart (B)
A Computation Model for Z Based On Concurrent Constraint Resolution 414
Wolfgang Grieskamp (Z)
Analysis of Compiled Code: A Prototype Formal Model 433
R.D. Arthan (Z)
Zzzzzzzzzzzzzzzzzzzzzzzzzz 450
David Everett (Invited Speaker)
Segregation with Communication 451
David Cooper and Susan Stepney (Z)
Closure Induction in a Z-Like Language 471
David A. Duffy and Jrgen Giesl (Z)
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z 491
Chris Matthews and Paul A. Swatman (Z)
Author Index 511
END
