Skip to main content
SpringerLink
Log in
Book cover

International Symposium of Formal Methods Europe

FME 1993: FME '93: Industrial-Strength Formal Methods pp 64–72Cite as

Role of VDM(++) in the development of a real-time tracking and tracing system

  • Industrial Usage Reports
  • Conference paper
  • First Online:

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

Abstract

This article describes our experience with the use of the formal specification languages VDM and VDM++, in the evolutionary development of a real-time distributed system for the tracing and tracking of load-units in combined road-rail traffic.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Micheàl Mac an Airchinnigh, Tutorial Lecture Notes on the Irish School of the VDM, VVDM'91 Formal Software Development Methods vol 2, Lecture Notes in Computer Science nr. 552, Springer Verlag Berlin, Germany.

    Google Scholar 

  2. Barry W. Boehm, Software Risk Management, IEEE Computer Society Press nr. 1906, Washington, USA.

    Google Scholar 

  3. W. Cellary, E. Gelenbe, T. Morzy, Concurrency Control in Distributed Database Systems, Studies in Computer Science and AI nr. 3, North-Holland, Elseviers Science Publishers, Amsterdam, 1988.

    Google Scholar 

  4. CombiCom Internal Deliverable S.1.X, Formal specification of the CombiCom architecture, CombiCom Consortium.

    Google Scholar 

  5. E.H. Dürr, VDM++, Language Reference manual, Utrecht University, Faculty of Physics and Astronomy, Internal Report RUU-FI-91-6.

    Google Scholar 

  6. E.H. Dürr and J. van Katwijk, VDM++, A Formal Specification Language for Object Oriented Designs, Conference Proceedings Tools Euro '92 in Technology of Object-Oriented Languages and Systems,Tools 7, Prentice Hall International, 1992.

    Google Scholar 

  7. E.H. Dürr and J. van Katwijk, VDM++, A Formal Specification Language for Object Oriented Designs, IEEE Conference Proceedings CompEuro '92 in Computer Systems ans Software Engineering, IEEE Computer Society Press nr 2760, California, 1992.

    Google Scholar 

  8. R. Holzapfel, G. Winterstein, Ada in safety critical applications, Ada in Industry, proceedings of the Ada-Europe Conference 1988, Cambridge University Press, Great Britain.

    Google Scholar 

  9. C.B. Jones, Systematic Software Development using VDM, Prentice Hall International second edition, 1990.

    Google Scholar 

  10. C.B. Jones, K.D. Jones, P.A. Lindsay, R. Moore, Mural, A Formal Development Support System, Springer Verlag, London, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Cap Gemini Innovation, Rijswijk, The Netherlands

    ir. E. H. Dürr & drs. E. M. Dusink

  2. Department for Computers and Physics, Utrecht University, The Netherlands

    ir. E. H. Dürr

Authors
  1. ir. E. H. Dürr
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. drs. E. M. Dusink
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James C. P. Woodcock Peter G. Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dürr, E.H., Dusink, E.M. (1993). Role of VDM(++) in the development of a real-time tracking and tracing system. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024638

Download citation

  • DOI: https://doi.org/10.1007/BFb0024638

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56662-5

  • Online ISBN: 978-3-540-47623-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation