Skip to main content
SpringerLink
Log in
Book cover

International Symposium of VDM Europe

VDM 1991: VDM'91 Formal Software Development Methods pp 675–676Cite as

The VDM domain compiler a VDM class library generator

  • Conference paper
  • First Online:

  • 107 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 551))

This is a preview of subscription content, log in via an institution.

References

  1. 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, 1991

    Google Scholar 

  2. Mohr,J.P.: Programmierung mit abstrakten Datentypen unter Verwendung von VDM, Handbuch, Fachhochschule Wedel, 1991

    Google Scholar 

  3. 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, 1989

    Google Scholar 

  4. Schmidt, U.,Hörcher, H.-M.: Programming with VDM Domains, Bjørner,D. et al. (eds.): VDM'90 VDM and Z, LNCS 428, Springer, 1990

    Google Scholar 

  5. 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, 1990

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachhochschule Wedel, Feldstr. 143, D-2000, Wedel/Holstein, FRG

    Uwe Schmidt

  2. Deutsche System Technik, Edisonstr. 3, D-2300, Kiel, FRG

    Hans-Martin Hörcher

Authors
  1. Uwe Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans-Martin Hörcher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Prehn W. J. Toetenel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schmidt, U., Hörcher, HM. (1991). The VDM domain compiler a VDM class library generator. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_44

Download citation

  • DOI: https://doi.org/10.1007/3-540-54834-3_44

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54834-8

  • Online ISBN: 978-3-540-46449-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation