Skip to main content
SpringerLink
Log in
Book cover

International Symposium of VDM Europe

VDM 1987: VDM '87 VDM — A Formal Method at Work pp 110–117Cite as

Support environments for VDM

  • VDM Environments
  • Conference paper
  • First Online:

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

Abstract

This paper discusses the experiences and issues of building two different levels of system to support the use of VDM.

The MULE system is an example of an environment giving support in the syntactic generation of formal objects, such as specifications.

The IPSE 2.5 system is an attempt to produce an industrial scale system to support the use of formal methods over the whole of a software development life cycle.

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. The Alvey Directorate. The Alvey software engineering stratagy. 1983.

    Google Scholar 

  2. H. Barringer, J.H. Cheng, and C.B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21:251–269, 1984.

    Google Scholar 

  3. S.R. Bourne. The Unix System. Addison Wesley, 1982.

    Google Scholar 

  4. I.D. Cottam, C.B. Jones, T. Nipkow, and A.C. Wills. The 2nd annual report on the MULE project. 1983.

    Google Scholar 

  5. C.B. Jones, P. Lindsey, and C.P. Wadsworth. IPSE 2.5: the theorem proving concept paper. 1986.

    Google Scholar 

  6. Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall International, 1986.

    Google Scholar 

  7. K.D.Jones. A review of persistence in programming languages. 1986.

    Google Scholar 

  8. B. Melese. Practical applications of a syntax directed program manipulation environment. In 7 th Int. Conf. on Software Engineering, 1984.

    Google Scholar 

  9. R.C. Moore. The specification of Muffin. 1986.

    Google Scholar 

  10. T. Nipkow. A user guide to the MULE database. 1982.

    Google Scholar 

  11. T. Nipkow. A graph manipulation language — GRAPL. 1983.

    Google Scholar 

  12. The Persistent Programming Research Group. The PS-Algol Reference Manual. Universities of St. Andrews and Glasgow, 2nd edition, 1985.

    Google Scholar 

  13. STC and The University of Manchester. The IPSE 2.5 project proposal. 1985.

    Google Scholar 

  14. A.C. Wills. The book of MULE. 1986.

    Google Scholar 

  15. A.C. Wills. Description of MDB-T. 1986.

    Google Scholar 

  16. A.C. Wills. Structure of interactive systems. 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The University, M13 9PL, Manchester

    Kevin D. Jones

Authors
  1. Kevin D. Jones
    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

Jones, K.D. (1987). Support environments for VDM. 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_9

Download citation

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

  • 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