References
British Standards Institute, The BSI/VDM Proto-Standard, Draft of 7 Sept 1990, Brian Richee (Ed.)
J. Dick, J. Loubersac, A Visual Approach to VDM: Entity-Structure Diagrams, Bull Research Center Report, DE/DRPA/DMA/91001, Jan 1991.
Cliff B. Jones, Systematic Software Development using VDM, Second Edition, Prentice Hall Int., 1990
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dick, J., Loubersac, J. (1991). The visual presentation of VDM specifications. 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_42
Download citation
DOI: https://doi.org/10.1007/3-540-54834-3_42
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