Abstract
This paper presents a rigorous software development method that maximises the use of existing tools. The OBJ language is used for specification with its support tool, ObjEx. The MALPAS intermediate language (IL) is used for design with the MALPAS tools themselves being used for verification and validation. It is shown that OBJ specifications can be easily translated into MALPAS IL and that IL can be used in design to transform the formal specification into an implementation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
7 References
J. A. Goguen and J. Meseguer, "Rapid Prototyping in the OBJ Specification Language", in "Software Engineering Notes" Vol. 7, No. 3, pp.75–84, 1982.
"ObjEx — An Introduction", Gerrard Software manual, 1987.
"MALPAS Executive Guide", Rex, Thompson & Partners Ltd manual, 1988.
I. Hayes (ed.), "Specification Case Studies", Prentice-Hall International, 1987.
C. B. Jones, "Systematic Software Development using VDM", Prentice-Hall International, 1986.
B. Carré, "Lecture Notes on Program Validation", Course given by Program Validation Ltd, 1986.
E. W Dijkstra, "Notes on Structured Programming" in "Structured Programming", pp.1–81, Academic Press, 1972.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shutt, R. (1989). A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools. In: Ghezzi, C., McDermid, J.A. (eds) ESEC '89. ESEC 1989. Lecture Notes in Computer Science, vol 387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51635-2_44
Download citation
DOI: https://doi.org/10.1007/3-540-51635-2_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51635-4
Online ISBN: 978-3-540-46723-6
eBook Packages: Springer Book Archive