Skip to main content
Springer Nature Link
Log in

Using VDM in an Object-Oriented development method for Ada software

  • Use
  • Conference paper
  • First Online:
VDM '87 VDM — A Formal Method at Work (VDM 1987)

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

Included in the following conference series:

Abstract

In this paper the Vienna Development Method (VDM) is related to the various phases of activities throughout the process of software development. Several shortcomings of VDM are discussed and the combination of Object-Oriented Design (OOD) techniques, enriched by guidelines from the Jackson System Design method (JSD), with VDM is examined. The use of VDM to derive Ada package software is discussed.

Ada is a trademark of the U.S. Government, AJPO.

Part of the work reported here is funded by the Commission of the European Communities under the ESPRIT programme.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Abrial, J.R., The Specification Language Z: Basic Library, Oxford University Programming Research Group, Specification Group Working Paper, 1980

    Google Scholar 

  2. Ada Language Reference Manual ANSI/Mil.Std 1815A, Alsys, Jan 1983

    Google Scholar 

  3. AFFIRM Reference Library, 5 Volumes: Lee, S. and Gerhart, S.L. (eds.), AFFIRM User's Guide Erickson, R.W. (ed.), AFFIRM Collected Papers

    Google Scholar 

  4. Thompson, D.H. and Erickson, R.W. (eds.), AFFIRM Reference Manual

    Google Scholar 

  5. Bates, R.L. and Gerhart, S.L. (eds.), AFFIRM Annotated Transcripts

    Google Scholar 

  6. Gerhart, S.L. (ed.), AFFIRM Type Library USC Information Science Institute, Marina Del Rey, California, Version 2.0, Feb. 1981

    Google Scholar 

  7. Alford, M.W. et al., Software Requirements Engineering Methodology (SREM) at the age of Four, in: Proceedings of COMSAC 4, Chicago, 1980

    Google Scholar 

  8. Beech, D. (ed.), Gram, C., Kugler, H.-J., Newman, I., Stiegler, H., Unger, C., Concepts in User Interfaces: A Reference Model for Command and Response Languages, Lecture Notes in Computer Science 234, Springer-Verlag, 1986

    Google Scholar 

  9. Koch, G. (ed.) et al, Final Report of Task 5.1: Selection of Case Studies, Project ToolUse, November 1985.

    Google Scholar 

  10. Bjørner, D. and Jones, C.B. (eds.), The Vienna Development Method: The MetaLanguage, Lecture Notes in Computer Science 61, Springer-Verlag, 1978

    Google Scholar 

  11. Bjørner, D. and Oest, O.N. (eds.), Towards a Formal Specification of Ada, Springer-Verlag, Lecture Notes in Computer Science 98, 1980

    Google Scholar 

  12. Bjørner, D. and Jones, C.B., Formal Specification and Software Development, Prentice-Hall, 1982

    Google Scholar 

  13. Bjørner, D. and Prehn, S., Software Engineering Aspects of VDM, in: Proceedings of the International Seminar on Software Factory Experiences, North-Holland, 1982

    Google Scholar 

  14. Booch, G., Software Engineering with Ada, Benjamin/Cummings, 1983

    Google Scholar 

  15. Cameron, J.R., JSP & JSD: The Jackson Approach to Software Development, IEEE Computer Society, 1983

    Google Scholar 

  16. Chedgey, C. et al., Technical Annex to 4th Interim Report of ESPRIT 496, Generics (Software) Ltd., Dublin, Nov. 1986

    Google Scholar 

  17. Cohen, B., Harwood, W.T. and Jackson, M.I., The Specification of Complex Systems, Addison-Wesley, 1986

    Google Scholar 

  18. Connolly, P., Experimental JSD Rule System, Project ToolUse, Insight.PC86h, Vector Software Ltd., Dublin, 1986

    Google Scholar 

  19. Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, 1976

    Google Scholar 

  20. Greenspan, S., Borgida, A., Mylopoulos, J., Knowledge Representation as the basis for Requirements Specifications, IEEE Computer, April 1985

    Google Scholar 

  21. Horgen, H. et al., Workplan for ESPRIT Project 510 ToolUse, Phase 2, Oct. 1986

    Google Scholar 

  22. Jackson, M., System Development, Prentice-Hall, 1983

    Google Scholar 

  23. Jackson, M.I., Denvir, B.T., and Shaw, R.C., Experience of Introducing the Vienna Development Method into an Industrial Organisation, in: Proceedings of the TAPSOFT Conference, Berlin, 1985, Springer-Verlag, Lecture Notes in Computer Science 186, 1985

    Google Scholar 

  24. Jones, C.B., Software Development: A Rigorous Approach, Prentice-Hall, 1980

    Google Scholar 

  25. Jones, C.B., The Role of Proof Obligations in Software Design, in: Proceedings of the TAPSOFT Conference, Berlin, 1985, Springer-Verlag, Lecture Notes in Computer Science 186, 1985

    Google Scholar 

  26. Jones, C.B., Systematic Software Development Using VDM, Prentice-Hall, 1986

    Google Scholar 

  27. Kearney, S., OOD/VDM Methodology, Project ToolUse, Generics.sk86t, Generics (Software) Ltd., November 1986

    Google Scholar 

  28. Koch, G., Epple, W., Sars, A System for Application Oriented Requirements Specification, 1983

    Google Scholar 

  29. Krieg-Brückner, B., Luckham, D., Von Henke, F. and Owe, O., Draft Reference Manual for Anna: A Language for Annotating Ada Programs, DARPA/RADC, 1983

    Google Scholar 

  30. Kugler, H.-J. et al., GenericsAdaM — Handbook for the Generics Ada Development Method, Generics (Software) Ltd., 1987 (to appear)

    Google Scholar 

  31. Lemaitre, M., A Synthesis of VDM, Project ToolUse, Cert.ML85b, 1985

    Google Scholar 

  32. Lemoine, M., Evaluation of B., Cert.ML86f, June 1986

    Google Scholar 

  33. Mac an Airchinnigh, M., VDM and ADA, Relational Meta IV and Prolog, Generics (Software) Ltd., 1986

    Google Scholar 

  34. O'Neill, D., Support Tools for the Abstract Data Typing Approach to Software Development, M.Sc. Thesis, Trinity College Dublin, 1987 (to appear)

    Google Scholar 

  35. Prehn, S. et al., Formal Methods Appraisal: Final Report — DDC Subprogramme, ESPRIT Preparatory Study Report, 1983

    Google Scholar 

  36. Ryan, K.T. (ed.) et al., TCD.KR86B, An Experimental Basis for ToolUse — Task 5.2 Report, Project ToolUse, Trinity College Dublin, Dec. 1986

    Google Scholar 

  37. Freeman, P., Wasserman, A., Tutorial on Software Design Techniques, Third Edition, IEEE Computer Society, April 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Generics (Software) Limited 7 Leopardstown Office Park Foxrock, Dublin 18, Ireland

    Chris Chedgey, Seamus Kearney & Hans-Jürgen Kugler

Authors
  1. Chris Chedgey
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Seamus Kearney
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hans-Jürgen Kugler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjørner Cliff B. Jones Mícheál Mac an Airchinnigh Erich J. Neuhold

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chedgey, C., Kearney, S., Kugler, HJ. (1987). Using VDM in an Object-Oriented development method for Ada software. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-17654-3_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17654-1

  • Online ISBN: 978-3-540-47740-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation