Books
Short works
- Reconciling Axomatic and Modelbased Specifications Using the B Method. 2000. (In ZB 2000 )
- Probabilistic invariants for probabilistic machines. 2003. (In ZB 2003 )
- Development via refinement in Probabilistic B -- foundation and case study. 2005. (In ZB 2005 )
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
(read but not reviewed)
Contents
- Eric C. R. Hehner, Ioannis T. Kassios. Theories, Implementations, and Transformations. 2002
- Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Mery, Airy Weinzoepflen. Incremental Proof of the Producer/Consumer Property for the PCI Protocol. 2002
- Michael Poppleton, Richard Banach. Controlling Control Systems: An Application of Evolving Retrenchment. 2002
- Neil J. Robinson. Checking Z Data Refinements Using an Animation Tool. 2002
- Graeme Smith, Florian Kammuller, Thomas Santen. Encoding Object-Z in Isabelle/HOL. 2002
- Ian Toyn, Susan Stepney. Characters + Mark-up = Z Lexis. 2002
- full paper
- Marielle Doche, Andrew M. Gravell. Extraction of Abstraction Invariants for Data Refinement. 2002
- Leonid Mikhailov, Michael J. Butler. An Approach to Combining B and Alloy. 2002
- Ralph-Johan Back. Software Construction by Stepwise Feature Introduction. 2002
- Jim Woodcock, Ana L. C. Cavalcanti. The Semantics of Circus. 2002
- Ralph Miarka, John Derrick, Eerke A. Boiten. Handling Inconsistencies in Z Using Quasi-Classical Logic. 2002
- Eerke A. Boiten. Loose Specification and Refinement in Z. 2002
- Jean-Raymond Abrial, Louis Mussat. On Using Conditional Definitions in Formal Theories. 2002
- Steve Dunne. A Theory of Generalised Substitutions. 2002
- Sergiy A. Vilkomir, Jonathan P. Bowen. Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. 2002
- Bruno Legeard, Fabien Peureux, Mark Utting. A Comparison of the BTT and TTF Test-Generation Methods. 2002
- David Basin, Frank Rittinger, Luca Vigano. A Formal Analysis of the CORBA Security Service. 2002
- Jean-Paul Bodeveix, Mamoun Filali. Type Synthesis in B and the Translation of B to PVS. 2002
- Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte. "Higher-Order" Mathematics in B. 2002
- Pierre Chartier. ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries. 2002
- James Blow, Andy Galloway. Generalised Substitution Language and Differentials. 2002
- Steve Schneider, Helen Treharne. Communicating B Machines. 2002
- Francoise Bellegarde, Jacques Julliand, Olga Kouchnarenko. Synchronized Parallel Composition of Event Systems in B. 2002
- Antonis Papatsaras, Bill Stoddart. Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. 2002
- Francoise Bellegarde, Samir Chouali, Jacques Julliand. Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. 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