2. VDM Europe 1988: Dublin, Ireland

Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones (Eds.): VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings. Lecture Notes in Computer Science 328 Springer 1988, ISBN 3-540-50214-9

Day 1

Donald I. Good:
Computing is a Physical Science (Abstract). 1-1
Stephen Bear:
Structuring for the VDM Specification Language. 2-25
Maurice Naftalin:
Correctness for Beginners. 26-47
Andrzej M. Borzyszkowski, Stefan Sokolowski:
Understanding an informal Description: Office Documents Architecture, an ISO Standard. 48-63
Clive Ruggles:
Towards a Formal Definition of GKS and other Graphic Standards. 64-73
Derek J. Andrews:
Report from the BSIPanel for the Standardisation of VDM (IST/5/50). 74-78
Clive Ruggles:
Formal Methods in Standards - A Report from the BCS Working Group. 79-85

Jean-Raymond Abrial:
The B Tool (Abstract). 86-87
S. J. Goldsack:
Specification of an Operating System Kernel FOREST and VDM compared. 88-100

R. D. Arthan:
Compiler Prototyping with VDM and Standard ML. 101-115
David O'Neill:
VDM Development with ADA as the Target Language. 116-123
XinJie Jiang, YongSen Xu:
NUSL: An Executable Specification Language Based on Data Abstraction. 124-138
Cliff B. Jones, Peter A. Lindsay:
A Support System for Formal Reasoning: Requirements and Status. 139-152
Graham Boddy:
The Use of VDM within the Alvey Flagship Project. 153-166
Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers:
The Formal Definition of Modula-2 and Its Associated Interpreter. 167-177
G. T. Scullard:
Test Case Selection using VDM. 178-186
Kees Middelburg:
The VIP VDM Specification Language. 187-201
M. Jäger, Michael Gloger, Stefan Kaes:
SAMPLE - A Functional Language. 202-217

Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle:
A Three-Valued Logic for Software Specification and Validation. 218-242
Andrzej Blikle:
Three-Valued Predicates for Software Specification and Validation. 243-266
Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski:
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. 267-298
Anne Elisabeth Haxthausen:
Mutually Recursive Algebraic Domain Equations. 299-317
Robert Milne:
Proof Rules for VDM Statements. 318-336
Cliff B. Jones, Richard Moore:
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. 337-375

Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George:
The RAISE Language, Method and Tools. 376-405
Bettina Buth, Karl-Heinz Buth:
Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. 406-433
Jim Woodcock, B. Dickinson:
Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. 434-458
Peter Kilpatrick, P. McParland:
Software Support for the Refinement of VDM Specifications. 459-475
Ghee S. Teo, Mícheál Mac an Airchinnigh:
The Use of VDM in the Specification of Chinese Characters. 476-499