author : Andy Galloway

Contents

• Soon-Kyeong Kim, David Carrington. A Formal Mapping between UML models and Object-Z Specifications. 2000

• Regine Laleau, Amel Mammar. A Generic Process to Refine a B Specification into a Relational Database Implementation. 2000

• Graeme Smith. Recursive Schema Definitions in Object­Z. 2000

• Ian Toyn, Samuel H. Valentine, David A. Duffy. On Mutually Recursive Free Types in Z. 2000

• David A. Duffy, Ian Toyn. Reasoning Inductively about Z Specifications via Unification. 2000

• Ken Robinson. Reconciling Axomatic and Model­based Specifications Using the B Method. 2000

• Theo Dimitrakos, Juan C. Bicarregui, Brian Matthews, Thomas S. E. Maibaum. Compositional structuring in the B Method: A Logical Viewpoint of the Static Context. 2000

• Pierre Bontron, Marie-Laure Potet. Automatic Construction of Validated B components from Structured Developments. 2000

• Dominique Cansell, Dominique Mery. Playing with abstraction and refinement for managing features interactions. 2000

• Mark d'Inverno, Koen Hindriks, Michael Luck. A Formal Architecture for the 3APL Agent Programming Language. 2000

• Helen Treharne, Steve Schneider. How to drive a B Machine. 2000

• Nestor Lopez, Marianne Simonot, Veronique Viguie Donzeau-Gouge. Deriving Software Specifications from Event Based Models. 2000

• Francoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko. Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. 2000

• Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King. Type­constrained Generics for Z. 2000

full paper

• Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King. Typechecking Z. 2000

full paper

• Ralph Miarka, Eerke A. Boiten, John Derrick. Guards, Preconditions and Refinement in Z. 2000

• Richard Banach, Michael Poppleton. Retrenchment, Refinement and Simulation. 2000

• Michael J. Butler, Mairead Meagher. Performing Algorithmic Refinement before Data Refinement in B. 2000

• Martin C. Henson, Steve Reeves. Program Development and Specification Refinement in the Schema Calculus. 2000

• Jean-Louis Lanet. Are Smart Cards the Ideal Domain for Applying Formal Methods?. 2000

• Susan Stepney, David Cooper. Formal Methods for Industrial Products. 2000

full paper

• Bill Stoddart. An Execution Architecture for GSL. 2000

• Wolfgang Grieskamp. A Computation Model for Z Based on Concurrent Constraint Resolution. 2000

• Rob D. Arthan. Analysis of Compiled Code: A Prototype Formal Model. 2000

• David Cooper, Susan Stepney. Segregation with Communication. 2000

full paper

• David A. Duffy, Juergen Giesl. Closure Induction in a Z-like Language. 2000

• Chris Matthews, Paul A. Swatman. Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. 2000