ZB 2002:
Grenoble, France
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (Eds.):
ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings.
Lecture Notes in Computer Science 2272 Springer 2002, ISBN 3-540-43166-7
- Eric C. R. Hehner, Ioannis T. Kassios:
Theories, Implementations, and Transformations.
1-21

- Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen:
Incremental Proof of the Producer/Consumer Property for the PCI Protocol.
22-41

- Michael Poppleton, Richard Banach:
Controlling Control Systems: An Application of Evolving Retrenchment.
42-61

- Neil J. Robinson:
Checking Z Data Refinements Using an Animation Tool.
62-81

- Graeme Smith, Florian Kammüller, Thomas Santen:
Encoding Object-Z in Isabelle/HOL.
82-99

- Ian Toyn, Susan Stepney:
Characters + Mark-up = Z Lexis.
100-119

- Marielle Doche, Andrew M. Gravell:
Extraction of Abstraction Invariants for Data Refinement.
120-139

- Leonid Mikhailov, Michael J. Butler:
An Approach to Combining B and Alloy.
140-161

- Ralph-Johan Back:
Software Construction by Stepwise Feature Introduction.
162-183

- Jim Woodcock, Ana Cavalcanti:
The Semantics of Circus.
184-203

- Ralph Miarka, John Derrick, Eerke A. Boiten:
Handling Inconsistencies in Z Using Quasi-Classical Logic.
204-225

- Eerke A. Boiten:
Loose Specification and Refinement in Z.
226-241

- Jean-Raymond Abrial, Louis Mussat:
On Using Conditional Definitions in Formal Theories.
242-269

- Steve Dunne:
A Theory of Generalised Substitutions.
270-290

- Sergiy A. Vilkomir, Jonathan P. Bowen:
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.
291-308

- Bruno Legeard, Fabien Peureux, Mark Utting:
A Comparison of the BTT and TTF Test-Generation Methods.
309-329

- David A. Basin, Frank Rittinger, Luca Viganò:
A Formal Analysis of the CORBA Security Service.
330-349

- Jean-Paul Bodeveix, Mamoun Filali:
Type Synthesis in B and the Translation of B to PVS.
350-369

- Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte:
"Higher-Order" Mathematics in B.
370-393

- Pierre Chartier:
ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries.
394-395

- James Blow, Andy Galloway:
Generalised Substitution Language and Differentials.
396-415

- Steve Schneider, Helen Treharne:
Communicating B Machines.
416-435

- Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko:
Synchronized Parallel Composition of Event Systems in B.
436-457

- Antonis Papatsaras, Bill Stoddart:
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.
458-476

- Françoise Bellegarde, Samir Chouali, Jacques Julliand:
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.
477-496

- Soon-Kyeong Kim, David A. Carrington:
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.
497-516

- Regine Laleau, Fiona Polack:
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.
517-534

Last update Sat May 18 19:58:53 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page