default search action

combined dblp search
author search
venue search
publication search

ask others

1st VDM Europe 1987: Brussels, Belgium

> Home > Conferences and Workshops > VDM Europe

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fm/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1987
Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold:
VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Lecture Notes in Computer Science 252, Springer 1987, ISBN 3-540-17654-3
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Lucas87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Lucas87
Peter Lucas:
VDM: Origins, Hopes, and Achievements. 1-18

VDM Experience

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Crispin87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Crispin87
R. J. Crispin:
Experience Using VDM in STC. 19-32
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Pedersen87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Pedersen87
Jan Storbank Pedersen:
VDM in Three Generations of Ada* Formal Descriptions. 33-48
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SchmidtV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SchmidtV87
Uwe Schmidt, Reinhard Völler:
Experience with VDM in Norsk Data. 49-62

Use

- view
  authority control:
- export record
  dblp key:
  - conf/fm/ChedgeyKK87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ChedgeyKK87
Chris Chedgey, Seamus Kearney, Hans-Jürgen Kugler:
Using VDM in an Object-Oriented Development Method for Ada Software. 63-76

Development Methods

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Bjorner87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Bjorner87
Dines Bjørner:
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. 77-96
- view
  authority control:
- export record
  dblp key:
  - conf/fm/George87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/George87
Chris George:
Heap Storage Specification and Development. 97-105
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Letschert87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Letschert87
Thomas Letschert:
VDM as a Specification Method for Telecommunications Software. 106-109

VDM Environments

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Jones87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Jones87
Kevin D. Jones:
Support Environments for VDM. 110-117
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Hass87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Hass87
Manfred Haß:
Development and Application of a Meta IV Compiler. 118-140
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Prehn87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Prehn87
Søren Prehn:
From VDM to RAISE. 141-150

Foundations I

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Blikle87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Blikle87
Andrzej Blikle:
Denotational Engineering or from Denotations to Syntax. 151-209
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Monahan87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Monahan87
Brian Q. Monahan:
A Type Model for VDM. 210-236

Specifications

- view
  authority control:
- export record
  dblp key:
  - conf/fm/MinkowitzH87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MinkowitzH87
Cydney Minkowitz, Peter B. Henderson:
A Formal Description of Object-Oriented Programming Using VDM. 237-259

Foundations II

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Jones87a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Jones87a
Cliff B. Jones:
VDM Proof Obligations and their Justification. 260-286
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Airchinnigh87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Airchinnigh87
Mícheál Mac an Airchinnigh:
Mathematical Structures and their Morphisms in Meta-IV. 287-320

Standardisation Issues

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Sen87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Sen87
D. Sen:
Objectives of the British Standardisation of a Language to support the Vienna Development Method - The BSI VDM Specification Language Standardisation Panel - United Kingdom. 321-323
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HaffO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HaffO87
Peter Haff, Anders Olsen:
Use of VDM within CCITT. 324-330

A Case Study

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Jones87b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Jones87b
Kevin D. Jones:
A Formal Semantics for a DataFlow Machine - Using VDM. 331-355

Tutorial Papers

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Airchinnigh87a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Airchinnigh87a
Mícheál Mac an Airchinnigh:
Introduction to the VDM Tutorial. 356-361
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Airchinnigh87b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Airchinnigh87b
Mícheál Mac an Airchinnigh:
Specification by Data Types. 362-388
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Andrews87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Andrews87
Derek Andrews:
Data Reification and Program Decomposition. 389-422

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.