Abstract is missing.
- Theories, Implementations, and TransformationsEric C. R. Hehner, Ioannis T. Kassios. 1-21 [doi]
- Incremental Proof of the Producer/Consumer Property for the PCI ProtocolDominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen. 22-41 [doi]
- Controlling Control Systems: An Application of Evolving RetrenchmentMichael Poppleton, Richard Banach. 42-61 [doi]
- Checking Z Data Refinements Using an Animation ToolNeil J. Robinson. 62-81 [doi]
- Encoding Object-Z in Isabelle/HOLGraeme Smith, Florian Kammüller, Thomas Santen. 82-99 [doi]
- Characters + Mark-up = Z LexisIan Toyn, Susan Stepney. 100-119 [doi]
- Extraction of Abstraction Invariants for Data RefinementMarielle Doche, Andrew M. Gravell. 120-139 [doi]
- An Approach to Combining B and AlloyLeonid Mikhailov, Michael J. Butler. 140-161 [doi]
- Software Construction by Stepwise Feature IntroductionRalph-Johan Back. 162-183 [doi]
- The Semantics of CircusJim Woodcock, Ana Cavalcanti. 184-203 [doi]
- Handling Inconsistencies in Z Using Quasi-Classical LogicRalph Miarka, John Derrick, Eerke Boiten. 204-225 [doi]
- Loose Specification and Refinement in ZEerke Boiten. 226-241 [doi]
- On Using Conditional Definitions in Formal TheoriesJean-Raymond Abrial, Louis Mussat. 242-269 [doi]
- A Theory of Generalised SubstitutionsSteve Dunne. 270-290 [doi]
- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software TestingSergiy A. Vilkomir, Jonathan P. Bowen. 291-308 [doi]
- A Comparison of the BTT and TTF Test-Generation MethodsBruno Legeard, Fabien Peureux, Mark Utting. 309-329 [doi]
- A Formal Analysis of the CORBA Security ServiceDavid A. Basin, Frank Rittinger, Luca Viganò. 330-349 [doi]
- Type Synthesis in B and the Translation of B to PVSJean-Paul Bodeveix, Mamoun Filali. 350-369 [doi]
- Higher-Order Mathematics in BJean-Raymond Abrial, Dominique Cansell, Guy Laffitte. 370-393 [doi]
- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft IndustriesPierre Chartier. 394-395 [doi]
- Generalised Substitution Language and DifferentialsJames Blow, Andy Galloway. 396-415 [doi]
- Communicating B MachinesSteve Schneider, Helen Treharne. 416-435 [doi]
- Synchronized Parallel Composition of Event Systems in BFrançoise Bellegarde, Jacques Julliand, Olga Kouchnarenko. 436-457 [doi]
- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case StudyAntonis Papatsaras, Bill Stoddart. 458-476 [doi]
- Verification of Dynamic Constraints for B Event Systems under Fairness AssumptionsFrançoise Bellegarde, Samir Chouali, Jacques Julliand. 477-496 [doi]
- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity ConstraintsSoon-Kyeong Kim, David A. Carrington. 497-516 [doi]
- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS DevelopmentRegine Laleau, Fiona A. C. Polack. 517-534 [doi]