Skip to main content
SpringerLink
Log in

The visual presentation of VDM specifications

  • Conference paper
  • First Online:
Book cover VDM'91 Formal Software Development Methods (VDM 1991)

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

Included in the following conference series:

  • 106 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. British Standards Institute, The BSI/VDM Proto-Standard, Draft of 7 Sept 1990, Brian Richee (Ed.)

    Google Scholar 

  2. J. Dick, J. Loubersac, A Visual Approach to VDM: Entity-Structure Diagrams, Bull Research Center Report, DE/DRPA/DMA/91001, Jan 1991.

    Google Scholar 

  3. Cliff B. Jones, Systematic Software Development using VDM, Second Edition, Prentice Hall Int., 1990

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bull Corporate Research Centre, Rue Jean-Jaurès, 78340, Les clayes-sous-bois, France

    Jeremy Dick & Jérôme Loubersac

Authors
  1. Jeremy Dick
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jérôme Loubersac
    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

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

Publish with us

Policies and ethics

Search

Navigation