A Logic for the Schema Calculus. 1998. (In ZUM '98 )
Program Development and Specification Refinement in the Schema Calculus. 2000. (In ZB 2000 )
An Analysis of forward simulation data refinement. 2003. (In ZB 2003 )
Operation refinement and monotonicity in the schema calculus. 2003. (In ZB 2003 )
Books : reviews
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson, eds. ZB 2002: Formal Specification and Development in Z and B: Second International Conference of B and Z Users, Grenoble.
Springer. 2002
Soon-Kyeong Kim, David Carrington. A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. 2002
Regine Laleau, Fiona Polack. Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. 2002
Helen Treharne, Steve King, Martin C. Henson, Steve Schneider, eds. ZB 2005: Formal Specification and Development in Z and B: Fourth International Conference of B and Z Users, Guildford, UK.
Springer. 2005
(read but not reviewed)
Contents
Cliff B. Jones. Specification before Satisfaction: the case for research into obtaining the right specification. 2005
Didier Bert, Marie-Laure Potet, Nicolas Stouls. GeneSyst: a tool to reason about behavioral aspects of B Event specifications: aplication to security properties. 2005
Benjamin W. Long. Formal verification of a type flaw attack on a security protocol using Object-Z. 2005
Frederic Badeau, Arnaud Amelot. Using B as a high level programming language in an industrial project: Roissy VAL. 2005