Abstract is missing.
- Meeting the Challenge of Object-Oriented ProgrammingJ. Michael Spivey. 1 [doi]
- A Formal Mapping between UML Models and Object-Z SpecificationsSoon-Kyeong Kim, David A. Carrington. 2-21 [doi]
- A Generic Process to Refine a B Specification into a Relational Database ImplementationRégine Laleau, Amel Mammar. 22-41 [doi]
- Recursive Schema Definitions in Object-ZGraeme Smith. 42-58 [doi]
- On Mutually Recursive Free Types in ZIan Toyn, Samuel H. Valentine, David A. Duffy. 59-74 [doi]
- Reasoning Inductively about Z Specifications via UnificationDavid A. Duffy, Ian Toyn. 75-94 [doi]
- Reconciling Axiomatic and Model-Based Specifications Using the B MethodKen Robinson. 95-106 [doi]
- Compositional Structuring in the B-Method: A Logical Viewpoint of the Static ContextTheodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum. 107-126 [doi]
- Automatic Construction of Validated B Components from Structured DevelopmentsPierre Bontron, Marie-Laure Potet. 127-147 [doi]
- Playing with Abstraction and Refinement for Managing Features InteractionsDominique Cansell, Dominique Méry. 148-167 [doi]
- A Formal Architecture for the 3APL Agent Programming LanguageMark d Inverno, Koen V. Hindriks, Michael Luck. 168-187 [doi]
- How to Drive a B MachineHelen Treharne, Steve Schneider. 188-208 [doi]
- Deriving Software Specifications from Event Based ModelsNestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge. 209-229 [doi]
- Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop InvariantsFrançoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko. 230-249 [doi]
- Type-Constrained Generics for ZSamuel H. Valentine, Ian Toyn, Susan Stepney, Steve King. 250-263 [doi]
- Typechecking ZIan Toyn, Samuel H. Valentine, Susan Stepney, Steve King. 264-285 [doi]
- Guards, Preconditions, and Refinement in ZRalph Miarka, Eerke Boiten, John Derrick. 286-303 [doi]
- Retrenchment, Refinement, and SimulationRichard Banach, Michael Poppleton. 304-323 [doi]
- Performing Algorithmic Refinement before Data Refinement in BMichael J. Butler, Mairead Meagher. 324-343 [doi]
- Program Development and Specification Refinement in the Schema CalculusMartin C. Henson, Steve Reeves. 344-362 [doi]
- Are Smart Cards the Ideal Domain for Applying Formal Methods?Jean-Louis Lanet. 363-373 [doi]
- Formal Methods for Industrial ProductsSusan Stepney, David Cooper. 374-393 [doi]
- An Execution Architecture for GSLBill Stoddart. 394-413 [doi]
- A Computation Model for Z Based on Concurrent Constraint ResolutionWolfgang Grieskamp. 414-432 [doi]
- Analysis of Compiled Code: A Prototype Formal ModelR. D. Arthan. 433-449 [doi]
- ZzzzzzzzzzzzzzzzzzzzzzzzzzDavid Everett. 450 [doi]
- Segregation with CommunicationDavid Cooper, Susan Stepney. 451-470 [doi]
- Closure Induction in a Z-Like LanguageDavid A. Duffy, Jürgen Giesl. 471-490 [doi]
- Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for ZChris Matthews, Paul A. Swatman. 491-510 [doi]