References
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
Mohr,J.P.: Programmierung mit abstrakten Datentypen unter Verwendung von VDM, Handbuch, Fachhochschule Wedel, 1991
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
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
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
Author information
Authors and Affiliations
Editor information
Rights 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