Books
Short works
- The Safe Machine: A New Specification Construct for B. 1999. (In FM'99 volume 1 )
- A Theory of Generalised Substitutions. 2002. (In ZB 2002 )
- Introducing backward refinement into B. 2003. (In ZB 2003 )
- A Prospective-Value semantics for the GSL. 2005. (In ZB 2005 )
- Process refinement in B. 2005. (In ZB 2005 )
Books : reviews
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.
Springer. 2000
(read but not reviewed)
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 ObjectZ. 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 Modelbased 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. Typeconstrained 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