Advertisement

The VDM domain compiler a VDM class library generator

  • Uwe Schmidt
  • Hans-Martin Hörcher
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)

References

  1. [Moh91]
    Mohr,J.P.: Erstellung eines Benutzerhandbuches zur Programmierung mit abstrakten Datentypen unter Verwendung einer Quellcode-Bibliothek mit verschiedenen Implementierungen am Beispiel von VDM, Diplomarbeit, Fachhochschule Wedel, 1991Google Scholar
  2. [Moh91a]
    Mohr,J.P.: Programmierung mit abstrakten Datentypen unter Verwendung von VDM, Handbuch, Fachhochschule Wedel, 1991Google Scholar
  3. [ScH89]
    Schmidt, U.,Hörcher, H.-M.: Systematische Programmentwicklung aus VDM-Spezifikationen mit automatischer Erzeugung von abstrakten Datentypen, in: GI Softwaretechnik-Trends, Mitteilungen der Fachgruppe 'software-Engineering', Band 9, Heft 3, 1989Google Scholar
  4. [ScH90]
    Schmidt, U.,Hörcher, H.-M.: Programming with VDM Domains, Bjørner,D. et al. (eds.): VDM'90 VDM and Z, LNCS 428, Springer, 1990Google Scholar
  5. [WeW90]
    Weber-Wulff,D.: A Buffering System Implemented in VDM, to appear in Bjørner,D. et al. (eds.): VDM'90 VDM and Z, LNCS 428, Springer, 1990Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Uwe Schmidt
    • 1
  • Hans-Martin Hörcher
    • 2
  1. 1.Fachhochschule WedelWedel/HolsteinFRG
  2. 2.Deutsche System TechnikKielFRG

Personalised recommendations