Proceedings of the Second European Symposium on Vienna Development Method: The Way Ahead
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
Proceedings of the Second European Symposium on Vienna Development Method: The Way Ahead
VDM Europe, 1988.

FM
DBLP
Scholar
Full names Links ISxN
@proceedings{VDME-1988,
	address       = "Dublin, Ireland",
	editor        = "Robin E. Bloomfield and Lynn S. Marshall and Roger B. Jones",
	isbn          = "3-540-50214-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second European Symposium on Vienna Development Method: The Way Ahead}",
	volume        = 328,
	year          = 1988,
}

Contents (28 items)

VDME-1988-Good #physics
Computing is a Physical Science (DIG), p. 1.
VDME-1988-Bear #specification
Structuring for the VDM Specification Language (SB), pp. 2–25.
VDME-1988-Naftalin #correctness
Correctness for Beginners (MN), pp. 26–47.
VDME-1988-BorzyszkowskiS #architecture #comprehension #documentation #standard
Understanding an informal Description: Office Documents Architecture, an ISO Standard (AMB, SS), pp. 48–63.
VDME-1988-Ruggles #standard #towards
Towards a Formal Definition of GKS and other Graphic Standards (CR), pp. 64–73.
VDME-1988-Ruggles88a #formal method #standard
Formal Methods in Standards — A Report from the BCS Working Group (CR), pp. 79–85.
VDME-1988-Abrial
The B Tool (JRA), pp. 86–87.
VDME-1988-Goldsack #kernel #operating system #specification
Specification of an Operating System Kernel FOREST and VDM compared (SJG), pp. 88–100.
VDME-1988-Arthan #compilation #ml #prototype #standard
Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.
VDME-1988-ONeill #ada #development
VDM Development with ADA as the Target Language (DO), pp. 116–123.
VDME-1988-JiangX #abstraction #execution #named #specification
NUSL: An Executable Specification Language Based on Data Abstraction (XJ, YX), pp. 124–138.
VDME-1988-JonesL #reasoning #requirements
A Support System for Formal Reasoning: Requirements and Status (CBJ, PAL), pp. 139–152.
VDME-1988-Boddy #using
The Use of VDM within the Alvey Flagship Project (GB), pp. 153–166.
VDME-1988-AndrewsGLP #interpreter
The Formal Definition of Modula-2 and Its Associated Interpreter (DJA, AG, SPAL, JRP), pp. 167–177.
VDME-1988-Scullard #testing #using
Test Case Selection using VDM (GTS), pp. 178–186.
VDME-1988-Middelburg #specification
The VIP VDM Specification Language (KM), pp. 187–201.
VDME-1988-JagerGK #functional #named
SAMPLE — A Functional Language (MJ, MG, SK), pp. 202–217.
VDME-1988-KonikowskaTB #logic #specification #validation
A Three-Valued Logic for Software Specification and Validation (BK, AT, AB), pp. 218–242.
VDME-1988-Blikle #specification #validation
Three-Valued Predicates for Software Specification and Validation (AB), pp. 243–266.
VDME-1988-BorzyszkowskiKS #formal method #polymorphism #λ-calculus
A Set-Theoretic Model for a Typed Polymorphic λ Calculus — A Contribution to MetaSoft (AMB, RK, SS), pp. 267–298.
VDME-1988-Haxthausen #algebra #equation #recursion
Mutually Recursive Algebraic Domain Equations (AEH), pp. 299–317.
VDME-1988-Milne #proving
Proof Rules for VDM Statements (RM), pp. 318–336.
VDME-1988-JonesM #design #empirical #named #proving #theorem proving #user interface
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant (CBJ, RCM), pp. 337–375.
VDME-1988-NielsenHWG #tool support
The RAISE Language, Method and Tools (MN, KH, KRW, CG), pp. 376–405.
VDME-1988-ButhB #code generation #correctness #proving #specification #term rewriting #using
Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting (BB, KHB), pp. 406–433.
VDME-1988-WoodcockD #case study #experience #using
Using VDM with Rely and Guarantee-Conditions — Experiences from a Real Project (JW, BD), pp. 434–458.
VDME-1988-KilpatrickM #refinement #specification
Software Support for the Refinement of VDM Specifications (PK, PM), pp. 459–475.
VDME-1988-TeoA #specification #using
The Use of VDM in the Specification of Chinese Characters (GST, MMaA), pp. 476–499.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.