|
|
Conferences in DBLP
- Donald I. Good
Computing is a Physical Science (Abstract). [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:1-1 [Conf]
- Stephen Bear
Structuring for the VDM Specification Language. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:2-25 [Conf]
- Maurice Naftalin
Correctness for Beginners. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:26-47 [Conf]
- Andrzej M. Borzyszkowski, Stefan Sokolowski
Understanding an informal Description: Office Documents Architecture, an ISO Standard. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:48-63 [Conf]
- Clive Ruggles
Towards a Formal Definition of GKS and other Graphic Standards. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:64-73 [Conf]
- Derek J. Andrews
Report from the BSIPanel for the Standardisation of VDM (IST/5/50). [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:74-78 [Conf]
- Clive Ruggles
Formal Methods in Standards - A Report from the BCS Working Group. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:79-85 [Conf]
- Jean-Raymond Abrial
The B Tool (Abstract). [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:86-87 [Conf]
- S. J. Goldsack
Specification of an Operating System Kernel FOREST and VDM compared. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:88-100 [Conf]
- R. D. Arthan
Compiler Prototyping with VDM and Standard ML. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:101-115 [Conf]
- David O'Neill
VDM Development with ADA as the Target Language. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:116-123 [Conf]
- XinJie Jiang, YongSen Xu
NUSL: An Executable Specification Language Based on Data Abstraction. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:124-138 [Conf]
- Cliff B. Jones, Peter A. Lindsay
A Support System for Formal Reasoning: Requirements and Status. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:139-152 [Conf]
- Graham Boddy
The Use of VDM within the Alvey Flagship Project. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:153-166 [Conf]
- Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers
The Formal Definition of Modula-2 and Its Associated Interpreter. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:167-177 [Conf]
- G. T. Scullard
Test Case Selection using VDM. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:178-186 [Conf]
- Kees Middelburg
The VIP VDM Specification Language. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:187-201 [Conf]
- M. Jäger, Michael Gloger, Stefan Kaes
SAMPLE - A Functional Language. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:202-217 [Conf]
- Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
A Three-Valued Logic for Software Specification and Validation. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:218-242 [Conf]
- Andrzej Blikle
Three-Valued Predicates for Software Specification and Validation. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:243-266 [Conf]
- Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:267-298 [Conf]
- Anne Elisabeth Haxthausen
Mutually Recursive Algebraic Domain Equations. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:299-317 [Conf]
- Robert Milne
Proof Rules for VDM Statements. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:318-336 [Conf]
- Cliff B. Jones, Richard Moore
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:337-375 [Conf]
- Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
The RAISE Language, Method and Tools. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:376-405 [Conf]
- Bettina Buth, Karl-Heinz Buth
Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:406-433 [Conf]
- Jim Woodcock, B. Dickinson
Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:434-458 [Conf]
- Peter Kilpatrick, P. McParland
Software Support for the Refinement of VDM Specifications. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:459-475 [Conf]
- Ghee S. Teo, Mícheál Mac an Airchinnigh
The Use of VDM in the Specification of Chinese Characters. [Citation Graph (0, 0)][DBLP]
VDM Europe, 1988, pp:476-499 [Conf]
|
