ZB 2002: Grenoble, France

• 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