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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
The Alvey Directorate. The Alvey software engineering stratagy. 1983.
H. Barringer, J.H. Cheng, and C.B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21:251–269, 1984.
S.R. Bourne. The Unix System. Addison Wesley, 1982.
I.D. Cottam, C.B. Jones, T. Nipkow, and A.C. Wills. The 2nd annual report on the MULE project. 1983.
C.B. Jones, P. Lindsey, and C.P. Wadsworth. IPSE 2.5: the theorem proving concept paper. 1986.
Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall International, 1986.
K.D.Jones. A review of persistence in programming languages. 1986.
B. Melese. Practical applications of a syntax directed program manipulation environment. In 7 th Int. Conf. on Software Engineering, 1984.
R.C. Moore. The specification of Muffin. 1986.
T. Nipkow. A user guide to the MULE database. 1982.
T. Nipkow. A graph manipulation language — GRAPL. 1983.
The Persistent Programming Research Group. The PS-Algol Reference Manual. Universities of St. Andrews and Glasgow, 2nd edition, 1985.
STC and The University of Manchester. The IPSE 2.5 project proposal. 1985.
A.C. Wills. The book of MULE. 1986.
A.C. Wills. Description of MDB-T. 1986.
A.C. Wills. Structure of interactive systems. 1986.
Author information
Authors and Affiliations
Editor information
Rights 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