Support environments for VDM

  • Kevin D. Jones
VDM Environments
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)


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.


Formal Method Theorem Prove Support Environment Proof Obligation Symbolic Execution 
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. [Alv83]
    The Alvey Directorate. The Alvey software engineering stratagy. 1983.Google Scholar
  2. [BCJ84]
    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. [Bou82]
    S.R. Bourne. The Unix System. Addison Wesley, 1982.Google Scholar
  4. [CJNW83]
    I.D. Cottam, C.B. Jones, T. Nipkow, and A.C. Wills. The 2nd annual report on the MULE project. 1983.Google Scholar
  5. [JLW86]
    C.B. Jones, P. Lindsey, and C.P. Wadsworth. IPSE 2.5: the theorem proving concept paper. 1986.Google Scholar
  6. [Jon86]
    Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall International, 1986.Google Scholar
  7. [KDJ86]
    K.D.Jones. A review of persistence in programming languages. 1986.Google Scholar
  8. [Mel84]
    B. Melese. Practical applications of a syntax directed program manipulation environment. In 7 th Int. Conf. on Software Engineering, 1984.Google Scholar
  9. [Moo86]
    R.C. Moore. The specification of Muffin. 1986.Google Scholar
  10. [Nip82]
    T. Nipkow. A user guide to the MULE database. 1982.Google Scholar
  11. [Nip83]
    T. Nipkow. A graph manipulation language — GRAPL. 1983.Google Scholar
  12. [Per85]
    The Persistent Programming Research Group. The PS-Algol Reference Manual. Universities of St. Andrews and Glasgow, 2nd edition, 1985.Google Scholar
  13. [SU85]
    STC and The University of Manchester. The IPSE 2.5 project proposal. 1985.Google Scholar
  14. [Wil86a]
    A.C. Wills. The book of MULE. 1986.Google Scholar
  15. [Wil86b]
    A.C. Wills. Description of MDB-T. 1986.Google Scholar
  16. [Wil86c]
    A.C. Wills. Structure of interactive systems. 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Kevin D. Jones
    • 1
  1. 1.Department of Computer ScienceThe UniversityManchester

Personalised recommendations