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 BibTeX

@proceedings{DBLP:conf/fm/1988,
  editor    = {Robin E. Bloomfield and
               Lynn S. Marshall and
               Roger B. Jones},
  title     = {VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
               Ireland, September 11-16, 1988, Proceedings},
  booktitle = {VDM Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {328},
  year      = {1988},
  isbn      = {3-540-50214-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Day 1

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

Day 2

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

Applications and Tools

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

Foundations and Theory

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

Day 3

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