Skip to main content
SpringerLink
Log in
Book cover

Specification of Software Systems pp 219–279Cite as

Vienna Development Method

  • Chapter

Part of the book series: Graduate Texts in Computer Science ((TCS))

Abstract

The Vienna Development Method (VDM) is an environment for the modeling and development of sequential software systems. The specification language of VDM has evolved from Meta-IV, the language used at IBM’s Vienna development laboratory for specifying the semantics of the PL/I programming language in the early 70s. The current version of the VDM specification language, VDM-SL, has been standardized by the International Standards Organization (ISO). It supports the modeling and analysis of software systems at different levels of abstraction. Using VDM-SL constructs, both data and algorithmic abstractions expressed in one level can be refined to a lower level to derive a concrete model that is closer to the final implementation of the system.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Agerholm, “Translating Specifications in VDM-SL to PVS,” in J.v. Wright, J. Grundy and J. Harrison (Eds.), Proceedings of the International Conference on Theorem Proving in Higher Order Logics (TPHOL’96), Springer-Verlag, 1996.

    Google Scholar 

  2. A. Andrews and D. Ince, Practical Formal Methods Using VDM, McGraw-Hill Book Company Europe, England, 1991.

    Google Scholar 

  3. J.C. Bicarregui etal., Proof in VDM: A Practitioner’s Guide, Springer-Verlag, London, 1994.

    Book  Google Scholar 

  4. J. Bicarregui and B. Ritchie, “Reasoning about VDM Developments using the VDM Tool Support in mural,” in S. Prehn and W.J. Toetenel (Eds.), VDM’91: Formal Software Development Methods; published as Lecture Notes in Computer Science, Vol. 552, Springer-Verlag, 1991, pp. 371–388.

    Chapter  Google Scholar 

  5. J. Bicarregui and B. Mathews, “Formal Methods in Practice: A Comparison of Two Support Systems for Proof,” in Bartosek et al. (Eds.), SOFSEM’95: Theory and Practice of Informatics; published as Lecture Notes in Computer Science, Vol. 1012, Springer-Verlag, 1995.

    Google Scholar 

  6. T. Clement, “Comparing Approaches to Data Reification,” in M. Naftalin, T. Denvir, and M. Bertran (Eds.), FME’94: Industrial Benefits of Formal Methods; published as Lecture Notes in Computer Science, Vol. 893, Springer-Verlag, 1994, pp. 118–133.

    Chapter  Google Scholar 

  7. T. Clement, “Data Reification without Explicit Abstraction Functions,” in M.C. Gaudel and J.C.P. Woodcock (Eds.), FME’96: Industrial Benefits and Advances in Formal Methods; published as Lecture Notes in Computer Science, Vol. 1051, Springer-Verlag, 1996, pp. 195–213.

    Chapter  Google Scholar 

  8. B. Cohen, W.T. Harwood, and M.I. Jackson, The Specification of Complex Systems, Addison-Wesley Publishing Company, Reading, MA, 1986.

    Google Scholar 

  9. J. Dawes, The VDM-SL Reference Guide, Pitman, London, England, 1991.

    Google Scholar 

  10. E.H. Dürr and N. Plat (Eds.), VDM++: Language Reference Manual, Afrodite (ESPRIT III, project number 6500) document, Cap Volmac, August 1995.

    Google Scholar 

  11. E.H. Dürr and S. Goldsack, “Formal Methods and Object Technology,” Chapter 6 in S.J. Goldsack and S.J.H. Kent (Eds.), Concurrency and Real-Time in VDM++, Springer-Verlag, London, England, 1996, pp. 86–112.

    Google Scholar 

  12. M. Elvang-Goransson, “Reasoning about VDM Specifications,” in S. Prehn and W.J. Toetenel (Eds.), VDM’91: Formal Software Development Methods; published as Lecture Notes in Computer Science, Vol. 552, Springer-Verlag, 1991, pp. 343–355.

    Chapter  Google Scholar 

  13. S.J. Goldsack, E.H. Dürr, and N. Plat, “Object Reification in VDM++,” in M. Wirsing (Ed.), ICSE-17: Workshop on Formal Methods Application in Software Engineering Practice, Seattle, WA, April 1995, pp. 194–201.

    Google Scholar 

  14. S. Goldsack and K. Lano, “Annealing and Data Decomposition in VDM,” ACM SIGPLAN Notices, Vol. 31, No. 4, April 1996, pp. 32–38.

    Article  Google Scholar 

  15. A. Harry, Formal Methods Fact File: VDM and Z, John Wiley & Sons, New York, NY, 1996.

    Google Scholar 

  16. S. Hekmatpour and D. Ince, Software Prototyping, Formal Methods and VDM, Addison-Wesley Publishing Company, International Computer Science Series, 1988.

    Google Scholar 

  17. P.G. Larsen et al., Information Technology — Programming Languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base Language, ISO Document, December 1996.

    Google Scholar 

  18. C.B. Jones, The Systematic Software Development using VDM, Prentice Hall International (UK), 1986.

    Google Scholar 

  19. C.B. Jones, The Systematic Software Development using VDM (second edition), Prentice Hall International (UK), 1990.

    Google Scholar 

  20. C.B. Jones, K.D. Jones, P.A. Lindsay, and R. Moore, mural: A Formal Development _ Support System, Springer-Verlag, London, 1991.

    Book  MATH  Google Scholar 

  21. C.B. Jones and R.C. Shaw, Case Studies in Systematic Software Development, Prentice Hall International (UK), 1990.

    MATH  Google Scholar 

  22. Y. Ledru, “Using KIDS as a Tool Support for VDM,” Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, March 1996, pp. 236–245.

    Google Scholar 

  23. P. Lucas, “VDM: Origins, Hopes and Achievements,” in D. Bjørner et al. (Eds.) VDM’87: VDM — A Formal Method at Work; published as Lecture Notes in Computer Science, Vol. 252, Springer-Verlag, 1987, pp. 1–8.

    Chapter  Google Scholar 

  24. G.I. Parkin, “Vienna Development Method Specification Language (VDM-SL),” Computer Standards and Interfaces, Vol. 16, 1994, pp. 527–530.

    Article  Google Scholar 

  25. G.I. Parkin and G. O’Neil, “Specification of the MAA Standard in VDM,” in S. Prehn and W.J. Toetenel (Eds.), VDM’91: Formal Software Development-Methods; published as Lecture Notes in Computer Science, Vol. 552, Springer-Verlag, 1991, pp. 526–544.

    Chapter  Google Scholar 

  26. C. Pronk and M. Schonhacker, “ISO/IEC 10514–1, the Standard for Modula-2: Process Aspects,” ACM SIGPLAN Notices, Vol. 31, No. 8, 1996, pp. 74–83.

    Article  Google Scholar 

  27. The VDM-SL Tool Group. User Manual for the IFAD VDM-SL Toolbox, IFAD, The Institute of Applied Computer Science, Forskerparken 10, DK-5230 Odense M, Denmark, June 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Concordia University, Montreal, Quebec, A3G 1M8, Canada

    V. S. Alagar

  2. Department of Computer Science, University of Manitoba, Winnipeg, Manitoba, R3T 2N2, Canada

    K. Periyasamy

Authors
  1. V. S. Alagar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. Periyasamy
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer Science+Business Media New York

About this chapter

Cite this chapter

Alagar, V.S., Periyasamy, K. (1998). Vienna Development Method. In: Specification of Software Systems. Graduate Texts in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-2920-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-2920-7_9

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4757-2922-1

  • Online ISBN: 978-1-4757-2920-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation