Abstract is missing.
- The Use of Mathematics in Software EngineeringDavid Lorge Parnas. 1 [doi]
- Formal Derivation of Multilayered Hardware/Software StructuresToomas P. Plaks. 5-14 [doi]
- Embedding Formally Proved Code in a Smart Card: Converting B to CAntoine Requet, Gaëlle Bossu. 15 [doi]
- Structuring Reactive Systems in B AMNKevin Lano, Kelly Androutsopoulos, Pauline Kan. 25-34 [doi]
- Highly Reliable Component-Based Software Development by Using Algebraic Behavioral SpecificationMichihiro Matsumoto, Kokichi Futatsugi. 35-44 [doi]
- Composing Specifications in VSPECArun Venkataraman, Murali Rangarajan, Perry Alexander. 45 [doi]
- A Unified Algebraic Framework for Specifying Communication ProtocolsMohamed Jmaiel. 57-66 [doi]
- Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJTetsuo Tamai. 67 [doi]
- Legacy CodeC. A. R. Hoare. 75 [doi]
- SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR ProtocolHong Peng, Sofiène Tahar, Ferhat Khendek. 79-88 [doi]
- Mechanical Verification of Transaction Processing SystemsDmitri Chkliaev, Jozef Hooman, Peter van der Stok. 89 [doi]
- Formal Foundations of Object-Oriented Modeling NotationsClaudia Pons, Gabriel Baum. 101-110 [doi]
- Using Use Cases in Executable ZWolfgang Grieskamp, Markus Lepper. 111-120 [doi]
- Translating UAN into CSPIan MacColl, David A. Carrington. 121 [doi]
- Maximally Abstract RetrenchmentsRichard Banach. 133-142 [doi]
- Fragmented Retrenchment, Concurrency and FairnessRichard Banach, Michael Poppleton. 143 [doi]
- Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and ResultsWerner Damm. 153 [doi]
- Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z SpecificationsAli E. Abdallah. 157-168 [doi]
- ClawZ: Control Laws in ZR. D. Arthan, P. Caseley, Colin O Halloran, Alf Smith. 169-176 [doi]
- A Case Study in Partial Specification: Consistency and Refinement for Object-ZChris J. Taylor, John Derrick, Eerke Boiten. 177 [doi]
- An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing AlgorithmsAli E. Abdallah, Mark Green. 189 [doi]
- An Animatable Operational Semantics of the Verilog Hardware Description LanguageJonathan P. Bowen, Jifeng He, Qiwen Xu. 199-208 [doi]