Abstract is missing.
- Computing is a Physical Science (Abstract)Donald I. Good. 1-1
- Structuring for the VDM Specification LanguageStephen Bear. 2-25
- Correctness for BeginnersMaurice Naftalin. 26-47
- Understanding an informal Description: Office Documents Architecture, an ISO StandardAndrzej M. Borzyszkowski, Stefan Sokolowski. 48-63
- Towards a Formal Definition of GKS and other Graphic StandardsClive Ruggles. 64-73
- Report from the BSIPanel for the Standardisation of VDM (IST/5/50)Derek J. Andrews. 74-78
- Formal Methods in Standards - A Report from the BCS Working GroupClive Ruggles. 79-85
- The B Tool (Abstract)Jean-Raymond Abrial. 86-87
- Specification of an Operating System Kernel FOREST and VDM comparedS. J. Goldsack. 88-100
- Compiler Prototyping with VDM and Standard MLR. D. Arthan. 101-115
- VDM Development with ADA as the Target LanguageDavid O Neill. 116-123
- NUSL: An Executable Specification Language Based on Data AbstractionXinJie Jiang, YongSen Xu. 124-138
- A Support System for Formal Reasoning: Requirements and StatusCliff B. Jones, Peter A. Lindsay. 139-152
- The Use of VDM within the Alvey Flagship ProjectGraham Boddy. 153-166
- The Formal Definition of Modula-2 and Its Associated InterpreterDerek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers. 167-177
- Test Case Selection using VDMG. T. Scullard. 178-186
- The VIP VDM Specification LanguageKees Middelburg. 187-201
- SAMPLE - A Functional LanguageM. Jäger, Michael Gloger, Stefan Kaes. 202-217
- A Three-Valued Logic for Software Specification and ValidationBeata Konikowska, Andrzej Tarlecki, Andrzej Blikle. 218-242
- Three-Valued Predicates for Software Specification and ValidationAndrzej Blikle. 243-266
- A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoftAndrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski. 267-298
- Mutually Recursive Algebraic Domain EquationsAnne Elisabeth Haxthausen. 299-317
- Proof Rules for VDM StatementsRobert Milne. 318-336
- MUFFIN: A User Interface Design Experiment for a Theorem Proving AssistantCliff B. Jones, Richard Moore. 337-375
- The RAISE Language, Method and ToolsMogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George. 376-405
- Correctness Proofs for Meta IV Written Code Generator Specification using Term RewritingBettina Buth, Karl-Heinz Buth. 406-433
- Using VDM with Rely and Guarantee-Conditions - Experiences from a Real ProjectJim Woodcock, B. Dickinson. 434-458
- Software Support for the Refinement of VDM SpecificationsPeter Kilpatrick, P. McParland. 459-475
- The Use of VDM in the Specification of Chinese CharactersGhee S. Teo, Mícheál Mac an Airchinnigh. 476-499