default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd VDM Europe 1988: Dublin, Ireland
- Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones:
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
Day 2
- Jean-Raymond Abrial:
The B Tool (Abstract). 86-87 - Stephen J. Goldsack:
Specification of an Operating System Kernel FOREST and VDM compared. 88-100
Applications and Tools
- 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 - Michael Jäger, Michael Gloger, Stefan Kaes:
SAMPLE - A Functional Language. 202-217
Foundations and Theory
- 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 E. Haxthausen:
Mutually Recursive Algebraic Domain Equations. 299-317 - Robert Milne:
Proof Rules for VDM Statements. 318-336 - Cliff B. Jones, Richard C. Moore:
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. 337-375
Day 3
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-08 09:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
