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

  • Chris Chedgey
  • Seamus Kearney
  • Hans-Jürgen Kugler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)


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.


Proof Obligation Material Part Package Body Operational Abstraction Software Life Cycle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Abrial 80]
    Abrial, J.R., The Specification Language Z: Basic Library, Oxford University Programming Research Group, Specification Group Working Paper, 1980Google Scholar
  2. [Ada 83]
    Ada Language Reference Manual ANSI/Mil.Std 1815A, Alsys, Jan 1983Google Scholar
  3. [AFFIRM 81]
    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. [Alford 80]
    Thompson, D.H. and Erickson, R.W. (eds.), AFFIRM Reference Manual Google Scholar
  5. [Beech 86]
    Bates, R.L. and Gerhart, S.L. (eds.), AFFIRM Annotated Transcripts Google Scholar
  6. [Biomik 85]
    Gerhart, S.L. (ed.), AFFIRM Type Library USC Information Science Institute, Marina Del Rey, California, Version 2.0, Feb. 1981Google Scholar
  7. [Alford 80]
    Alford, M.W. et al., Software Requirements Engineering Methodology (SREM) at the age of Four, in: Proceedings of COMSAC 4, Chicago, 1980Google Scholar
  8. [Beech 86]
    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, 1986Google Scholar
  9. [Biomatik 85]
    Koch, G. (ed.) et al, Final Report of Task 5.1: Selection of Case Studies, Project ToolUse, November 1985.Google Scholar
  10. [Bjørner 78]
    Bjørner, D. and Jones, C.B. (eds.), The Vienna Development Method: The MetaLanguage, Lecture Notes in Computer Science 61, Springer-Verlag, 1978Google Scholar
  11. [Bjørner 80]
    Bjørner, D. and Oest, O.N. (eds.), Towards a Formal Specification of Ada, Springer-Verlag, Lecture Notes in Computer Science 98, 1980Google Scholar
  12. [Bjørner 82a]
    Bjørner, D. and Jones, C.B., Formal Specification and Software Development, Prentice-Hall, 1982Google Scholar
  13. [Bjørner 82b]
    Bjørner, D. and Prehn, S., Software Engineering Aspects of VDM, in: Proceedings of the International Seminar on Software Factory Experiences, North-Holland, 1982Google Scholar
  14. [Booch 83]
    Booch, G., Software Engineering with Ada, Benjamin/Cummings, 1983Google Scholar
  15. [Cameron 83]
    Cameron, J.R., JSP & JSD: The Jackson Approach to Software Development, IEEE Computer Society, 1983Google Scholar
  16. [Chedgey 86]
    Chedgey, C. et al., Technical Annex to 4th Interim Report of ESPRIT 496, Generics (Software) Ltd., Dublin, Nov. 1986Google Scholar
  17. [Cohen 86]
    Cohen, B., Harwood, W.T. and Jackson, M.I., The Specification of Complex Systems, Addison-Wesley, 1986Google Scholar
  18. [Connolly 86]
    Connolly, P., Experimental JSD Rule System, Project ToolUse, Insight.PC86h, Vector Software Ltd., Dublin, 1986Google Scholar
  19. [Dijkstra 76]
    Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, 1976Google Scholar
  20. [Greenspan 85]
    Greenspan, S., Borgida, A., Mylopoulos, J., Knowledge Representation as the basis for Requirements Specifications, IEEE Computer, April 1985Google Scholar
  21. [[Horgen 86]
    Horgen, H. et al., Workplan for ESPRIT Project 510 ToolUse, Phase 2, Oct. 1986Google Scholar
  22. [Jackson 83]
    Jackson, M., System Development, Prentice-Hall, 1983Google Scholar
  23. [Jackson 85]
    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, 1985Google Scholar
  24. [Jones 80]
    Jones, C.B., Software Development: A Rigorous Approach, Prentice-Hall, 1980Google Scholar
  25. [Jones 85]
    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, 1985Google Scholar
  26. [Jones 86]
    Jones, C.B., Systematic Software Development Using VDM, Prentice-Hall, 1986Google Scholar
  27. [Kearney 86]
    Kearney, S., OOD/VDM Methodology, Project ToolUse, Generics.sk86t, Generics (Software) Ltd., November 1986Google Scholar
  28. [Koch 83]
    Koch, G., Epple, W., Sars, A System for Application Oriented Requirements Specification, 1983Google Scholar
  29. [Krieg-Brückner 83]
    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, 1983Google Scholar
  30. [Kugler 87]
    Kugler, H.-J. et al., GenericsAdaM — Handbook for the Generics Ada Development Method, Generics (Software) Ltd., 1987 (to appear)Google Scholar
  31. [Lemaitre 85]
    Lemaitre, M., A Synthesis of VDM, Project ToolUse, Cert.ML85b, 1985Google Scholar
  32. [Lemoine 86]
    Lemoine, M., Evaluation of B., Cert.ML86f, June 1986Google Scholar
  33. [Mac an Airchinnigh 86]
    Mac an Airchinnigh, M., VDM and ADA, Relational Meta IV and Prolog, Generics (Software) Ltd., 1986Google Scholar
  34. [O'Neill 87]
    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 83]
    Prehn, S. et al., Formal Methods Appraisal: Final Report — DDC Subprogramme, ESPRIT Preparatory Study Report, 1983Google Scholar
  36. [Ryan 86]
    Ryan, K.T. (ed.) et al., TCD.KR86B, An Experimental Basis for ToolUse — Task 5.2 Report, Project ToolUse, Trinity College Dublin, Dec. 1986Google Scholar
  37. [SLC 80]
    Freeman, P., Wasserman, A., Tutorial on Software Design Techniques, Third Edition, IEEE Computer Society, April 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Chris Chedgey
    • 1
  • Seamus Kearney
    • 1
  • Hans-Jürgen Kugler
    • 1
  1. 1.Generics (Software) Limited 7 Leopardstown Office Park FoxrockDublin 18Ireland

Personalised recommendations