The SCEAS System
Navigation Menu

Conferences in DBLP

World Congress on Formal Methods (FM) (fm)
1987 (conf/fm/1987)

  1. Peter Lucas
    VDM: Origins, Hopes, and Achievements. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:1-18 [Conf]
  2. R. J. Crispin
    Experience Using VDM in STC. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:19-32 [Conf]
  3. Jan Storbank Pedersen
    VDM in Three Generations of Ada* Formal Descriptions. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:33-48 [Conf]
  4. Uwe Schmidt, Reinhard Völler
    Experience with VDM in Norsk Data. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:49-62 [Conf]
  5. Chris Chedgey, Seamus Kearney, Hans-Jürgen Kugler
    Using VDM in an Object-Oriented Development Method for Ada Software. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:63-76 [Conf]
  6. Dines Bjørner
    The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:77-96 [Conf]
  7. Chris George
    Heap Storage Specification and Development. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:97-105 [Conf]
  8. Thomas Letschert
    VDM as a Specification Method for Telecommunications Software. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:106-109 [Conf]
  9. Kevin D. Jones
    Support Environments for VDM. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:110-117 [Conf]
  10. Manfred Haß
    Development and Application of a Meta IV Compiler. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:118-140 [Conf]
  11. Søren Prehn
    From VDM to RAISE. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:141-150 [Conf]
  12. Andrzej Blikle
    Denotational Engineering or from Denotations to Syntax. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:151-209 [Conf]
  13. Brian Q. Monahan
    A Type Model for VDM. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:210-236 [Conf]
  14. Cydney Minkowitz, Peter B. Henderson
    A Formal Description of Object-Oriented Programming Using VDM. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:237-259 [Conf]
  15. Cliff B. Jones
    VDM Proof Obligations and their Justification. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:260-286 [Conf]
  16. Mícheál Mac an Airchinnigh
    Mathematical Structures and their Morphisms in Meta-IV. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:287-320 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:321-323 [Conf]
  18. Peter Haff, Anders Olsen
    Use of VDM within CCITT. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:324-330 [Conf]
  19. Kevin D. Jones
    A Formal Semantics for a DataFlow Machine - Using VDM. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:331-355 [Conf]
  20. Mícheál Mac an Airchinnigh
    Introduction to the VDM Tutorial. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:356-361 [Conf]
  21. Mícheál Mac an Airchinnigh
    Specification by Data Types. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:362-388 [Conf]
  22. Derek Andrews
    Data Reification and Program Decomposition. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:389-422 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002