Skip to main content
Springer Nature Link
Log in

VDM development with Ada as the target language

  • Applications And Tools
  • Conference paper
  • First Online:
VDM '88 VDM — The Way Ahead (VDM 1988)

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

Included in the following conference series:

  • 131 Accesses

Abstract

VDM development with Ada as the target language is examined. The aim is to study in detail the issues involved and to demonstrate the feasibility of providing semi-automatic tool support for VDM/Ada development, this support being based on a "rule set" for the process. Familiarity with VDM and Ada is assumed.

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. D.R. Barstow, "Knowledge-Based Program Construction," Elsevier, North-Holland, 1979.

    Google Scholar 

  2. D. Bjørner, "Software Engineering Aspects of VDM," Proceedings of the International Seminar on Software Engineering, Capri, North-Holland, 1983.

    Google Scholar 

  3. C. Chedgey et al., "Developing Ada Software Using VDM in an Object-Oriented Framework", Proceedings EUUG Autumn '87 Conference, Trinity College, Dublin, September 1987.

    Google Scholar 

  4. C. Chedgey et al., "Using VDM in an Object-Oriented Development Method for Ada Software," Proceedings VDM-Europe Symposium, Brussels, Lecture Notes in Computer Science, Vol. 252, Springer-Verlag, 1987.

    Google Scholar 

  5. C. Bjernaa and I. Hansen, "DDC META-IV Tool-Set User's Guide", Dansk Datamatik Center, No. DDC 164/RPT/31, December 1986.

    Google Scholar 

  6. J. Foisseau, R. Jacquart, M. Lemaitre, M. Lemoine and G. Zanon, "Le systeme SPRAC: expression et gestion de specifications, d'algorithmes et de representations," Rapport No 1/3619/DERI/CPAO/84/2, CERT, Toulouse, February 1984.

    Google Scholar 

  7. D.C. Luckman and F.W. von Henke, "An Overview of Anna, a Specification Language for Ada", IEEE Software 2(2), March 1985, pp. 9–23.

    Google Scholar 

  8. B. Moeller (ed.), "A Survey of the Project CIP: Computer-Aided, Intuition-Guided Programming — Wide Spectrum Language and Program Transformations," Technische Universitaet Muenchen, Institut fuer Informatik Report TUM-18406, July 1984.

    Google Scholar 

  9. S. Prehn et al, "Formal Methods Appraisal", ESPRIT Preparatory Study, Dansk Datamatik Center, Document No. DDC 86/1983-06-24, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    David O'Neill

Authors
  1. David O'Neill
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robin E. Bloomfield Lynn S. Marshall Roger B. Jones

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

O'Neill, D. (1988). VDM development with Ada as the target language. In: Bloomfield, R.E., Marshall, L.S., Jones, R.B. (eds) VDM '88 VDM — The Way Ahead. VDM 1988. Lecture Notes in Computer Science, vol 328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50214-9_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-50214-9_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50214-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics