Abstract is missing.
- Alloy: A Logical Modelling LanguageDaniel Jackson. 1 [doi]
- An Outline Pattern Language for Z: Five Illustrations and Two TablesSusan Stepney, Fiona A. C. Polack, Ian Toyn. 2-19 [doi]
- Patterns to Guide Practical Refactoring: Examples Targetting Promotion in ZSusan Stepney, Fiona A. C. Polack, Ian Toyn. 20-39 [doi]
- Reuse of Specification Patterns with the B MethodSandrine Blazy, Frédéric Gervais, Régine Laleau. 40-57 [doi]
- Composing Specifications Using CommunicationHelen Treharne, Steve Schneider, Marchia Bramble. 58-78 [doi]
- When Concurrent Control Meets Functional Requirements, or Z + Petri-NetsFrédéric Peschanski, David Julien. 79-97 [doi]
- How to Diagnose a Modern Car with a Formal B Model?Guilhem Pouzancre. 98-100 [doi]
- Parallel Hardware Design in BStefan Hallerstede. 101-102 [doi]
- Operation Refinement and Monotonicity in the Schema CalculusMoshe Deutsch, Martin C. Henson, Steve Reeves. 103-126 [doi]
- Using Coupled Simulations in Non-atomic RefinementJohn Derrick, Heike Wehrheim. 127-147 [doi]
- An Analysis of Forward Simulation Data RefinementMoshe Deutsch, Martin C. Henson. 148-167 [doi]
- B:::#:::: Toward a Synthesis between Z and BJean-Raymond Abrial. 168-177 [doi]
- Introducing Backward Refinement into BSteve Dunne. 178-196 [doi]
- Expression Transformers in B-GSLBill Stoddart, Frank Zeyda. 197-215 [doi]
- Probabilistic Termination in BAnnabelle McIver, Carroll Morgan, Thai Son Hoang. 216-239 [doi]
- Probabilistic Invariants for Probabilistic MachinesThai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan. 240-259 [doi]
- Proving Temporal Properties of Z Specifications Using AbstractionGraeme Smith, Kirsten Winter. 260-279 [doi]
- Compositional Verification for Object-ZKirsten Winter, Graeme Smith. 280-299 [doi]
- Timed CSP and Object-ZJohn Derrick. 300-318 [doi]
- Object Orientation without Extending ZMark Utting, Shaochun Wang. 319-338 [doi]
- Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-ZNuno Amálio, Fiona A. C. Polack. 339-358 [doi]
- Towards Practical Proofs of Class CorrectnessBertrand Meyer. 359-387 [doi]
- Automatically Generating Information from a Z Specification to Support the Classification Tree MethodRobert M. Hierons, Mark Harman, Harbhajan Singh. 388-407 [doi]
- Refinement Preserves PLTL PropertiesChristophe Darlot, Jacques Julliand, Olga Kouchnarenko. 408-420 [doi]
- Proving Event Ordering Properties for Information SystemsMarc Frappier, Régine Laleau. 421-436 [doi]
- ZML: XML Support for Standard ZMark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie. 437-456 [doi]
- Formal Derivation of Spanning Trees AlgorithmsJean-Raymond Abrial, Dominique Cansell, Dominique Méry. 457-476 [doi]
- Using B Refinement to Analyse Compensating Business ProcessesCarla Ferreira, Michael J. Butler. 477-496 [doi]
- A Formal Specification in B of a Medical Decision Support SystemChristine Poerschke, David E. Lightfoot, John L. Nealon. 497-512 [doi]
- Extending B with Control Flow BreaksLilian Burdy, Antoine Requet. 513-527 [doi]
- Towards Dynamic Population Management of Abstract Machines in the B MethodNazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum. 528-545 [doi]