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 Object茂. 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苑ased 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苞onstrained 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