• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 1987
• 
  Mícheál Mac an Airchinnigh:
  Mathematical Structures and their Morphisms in Meta-IV. VDM Europe 1987: 287-320
• 
  Mícheál Mac an Airchinnigh:
  Introduction to the VDM Tutorial. VDM Europe 1987: 356-361
• 
  Mícheál Mac an Airchinnigh:
  Specification by Data Types. VDM Europe 1987: 362-388
• 
  Derek Andrews:
  Data Reification and Program Decomposition. VDM Europe 1987: 389-422
• 
  Dines Bjørner:
  The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. VDM Europe 1987: 77-96
• 
  Andrzej Blikle:
  Denotational Engineering or from Denotations to Syntax. VDM Europe 1987: 151-209
• 
  Chris Chedgey, Seamus Kearney, Hans-Jürgen Kugler:
  Using VDM in an Object-Oriented Development Method for Ada Software. VDM Europe 1987: 63-76
• 
  R. J. Crispin:
  Experience Using VDM in STC. VDM Europe 1987: 19-32
• 
  Chris George:
  Heap Storage Specification and Development. VDM Europe 1987: 97-105
• 
  Peter Haff, Anders Olsen:
  Use of VDM within CCITT. VDM Europe 1987: 324-330
• 
  Manfred Haß:
  Development and Application of a Meta IV Compiler. VDM Europe 1987: 118-140
• 
  Kevin D. Jones:
  Support Environments for VDM. VDM Europe 1987: 110-117
• 
  Cliff B. Jones:
  VDM Proof Obligations and their Justification. VDM Europe 1987: 260-286
• 
  Kevin D. Jones:
  A Formal Semantics for a DataFlow Machine - Using VDM. VDM Europe 1987: 331-355
• 
  Thomas Letschert:
  VDM as a Specification Method for Telecommunications Software. VDM Europe 1987: 106-109
• 
  Peter Lucas:
  VDM: Origins, Hopes, and Achievements. VDM Europe 1987: 1-18
• 
  Cydney Minkowitz, Peter B. Henderson:
  A Formal Description of Object-Oriented Programming Using VDM. VDM Europe 1987: 237-259
• 
  Brian Q. Monahan:
  A Type Model for VDM. VDM Europe 1987: 210-236
• 
  Jan Storbank Pedersen:
  VDM in Three Generations of Ada* Formal Descriptions. VDM Europe 1987: 33-48
• 
  Søren Prehn:
  From VDM to RAISE. VDM Europe 1987: 141-150
• 
  Uwe Schmidt, Reinhard Völler:
  Experience with VDM in Norsk Data. VDM Europe 1987: 49-62
• 
  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. VDM Europe 1987: 321-323
• 
  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 [contents]