VDM 87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold, editors, VDM 87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Volume 252 of Lecture Notes in Computer Science, Springer, 1987.

Conference: FM1987

Abstract is missing.

VDM: Origins, Hopes, and AchievementsPeter Lucas. 1-18

Experience Using VDM in STCR. J. Crispin. 19-32

VDM in Three Generations of Ada* Formal DescriptionsJan Storbank Pedersen. 33-48

Experience with VDM in Norsk DataUwe Schmidt, Reinhard Völler. 49-62

Using VDM in an Object-Oriented Development Method for Ada SoftwareChris Chedgey, Seamus Kearney, Hans-Jürgen Kugler. 63-76

The Stepwise Development of Software Development Graphs: Meta-Programming VDM DevelopmentsDines Bjørner. 77-96

Heap Storage Specification and DevelopmentChris George. 97-105

VDM as a Specification Method for Telecommunications SoftwareThomas Letschert. 106-109

Support Environments for VDMKevin D. Jones. 110-117

Development and Application of a Meta IV CompilerManfred Haß. 118-140

From VDM to RAISESøren Prehn. 141-150

Denotational Engineering or from Denotations to SyntaxAndrzej Blikle. 151-209

A Type Model for VDMBrian Q. Monahan. 210-236

A Formal Description of Object-Oriented Programming Using VDMCydney Minkowitz, Peter B. Henderson. 237-259

VDM Proof Obligations and their JustificationCliff B. Jones. 260-286

Mathematical Structures and their Morphisms in Meta-IVMícheál Mac an Airchinnigh. 287-320

Objectives of the British Standardisation of a Language to support the Vienna Development Method - The BSI VDM Specification Language Standardisation Panel - United KingdomD. Sen. 321-323

Use of VDM within CCITTPeter Haff, Anders Olsen. 324-330

A Formal Semantics for a DataFlow Machine - Using VDMKevin D. Jones. 331-355

Introduction to the VDM TutorialMícheál Mac an Airchinnigh. 356-361

Specification by Data TypesMícheál Mac an Airchinnigh. 362-388

Data Reification and Program DecompositionDerek Andrews. 389-422

runs on WebDSL