ZB 2002: Grenoble, France

@proceedings{DBLP:conf/zum/2002,
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {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},
  booktitle = {ZB},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  year      = {2002},
  isbn      = {3-540-43166-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Eric C. R. Hehner, Ioannis T. Kassios:
  Theories, Implementations, and Transformations. 1-21
  Electronic Edition (Springer LINK) BibTeX
• 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
  Electronic Edition (Springer LINK) BibTeX
• Michael Poppleton, Richard Banach:
  Controlling Control Systems: An Application of Evolving Retrenchment. 42-61
  Electronic Edition (Springer LINK) BibTeX
• Neil J. Robinson:
  Checking Z Data Refinements Using an Animation Tool. 62-81
  Electronic Edition (Springer LINK) BibTeX
• Graeme Smith, Florian Kammüller, Thomas Santen:
  Encoding Object-Z in Isabelle/HOL. 82-99
  Electronic Edition (Springer LINK) BibTeX
• Ian Toyn, Susan Stepney:
  Characters + Mark-up = Z Lexis. 100-119
  Electronic Edition (Springer LINK) BibTeX
• Marielle Doche, Andrew M. Gravell:
  Extraction of Abstraction Invariants for Data Refinement. 120-139
  Electronic Edition (Springer LINK) BibTeX
• Leonid Mikhailov, Michael J. Butler:
  An Approach to Combining B and Alloy. 140-161
  Electronic Edition (Springer LINK) BibTeX
• Ralph-Johan Back:
  Software Construction by Stepwise Feature Introduction. 162-183
  Electronic Edition (Springer LINK) BibTeX
• Jim Woodcock, Ana Cavalcanti:
  The Semantics of Circus. 184-203
  Electronic Edition (Springer LINK) BibTeX
• Ralph Miarka, John Derrick, Eerke A. Boiten:
  Handling Inconsistencies in Z Using Quasi-Classical Logic. 204-225
  Electronic Edition (Springer LINK) BibTeX
• Eerke A. Boiten:
  Loose Specification and Refinement in Z. 226-241
  Electronic Edition (Springer LINK) BibTeX
• Jean-Raymond Abrial, Louis Mussat:
  On Using Conditional Definitions in Formal Theories. 242-269
  Electronic Edition (Springer LINK) BibTeX
• Steve Dunne:
  A Theory of Generalised Substitutions. 270-290
  Electronic Edition (Springer LINK) BibTeX
• Sergiy A. Vilkomir, Jonathan P. Bowen:
  Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. 291-308
  Electronic Edition (Springer LINK) BibTeX
• Bruno Legeard, Fabien Peureux, Mark Utting:
  A Comparison of the BTT and TTF Test-Generation Methods. 309-329
  Electronic Edition (Springer LINK) BibTeX
• David A. Basin, Frank Rittinger, Luca Viganò:
  A Formal Analysis of the CORBA Security Service. 330-349
  Electronic Edition (Springer LINK) BibTeX
• Jean-Paul Bodeveix, Mamoun Filali:
  Type Synthesis in B and the Translation of B to PVS. 350-369
  Electronic Edition (Springer LINK) BibTeX
• Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte:
  "Higher-Order" Mathematics in B. 370-393
  Electronic Edition (Springer LINK) BibTeX
• Pierre Chartier:
  ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries. 394-395
  Electronic Edition (Springer LINK) BibTeX
• James Blow, Andy Galloway:
  Generalised Substitution Language and Differentials. 396-415
  Electronic Edition (Springer LINK) BibTeX
• Steve Schneider, Helen Treharne:
  Communicating B Machines. 416-435
  Electronic Edition (Springer LINK) BibTeX
• Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko:
  Synchronized Parallel Composition of Event Systems in B. 436-457
  Electronic Edition (Springer LINK) BibTeX
• Antonis Papatsaras, Bill Stoddart:
  Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. 458-476
  Electronic Edition (Springer LINK) BibTeX
• Françoise Bellegarde, Samir Chouali, Jacques Julliand:
  Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. 477-496
  Electronic Edition (Springer LINK) BibTeX
• Soon-Kyeong Kim, David A. Carrington:
  A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. 497-516
  Electronic Edition (Springer LINK) BibTeX
• Regine Laleau, Fiona Polack:
  Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. 517-534
  Electronic Edition (Springer LINK) BibTeX