Abstract
This paper gives a brief overview of the Alvey IPSE 2.5 project. This is a relatively large project investigating certain features of advanced environments supporting systems development activities. The paper concentrates particularly on the idea of process modelling whereby support can be given for the processes by which development activities are carried out.
Re-printed with permission of ICL Technical Journal (published May 1989, Vol. 6, No. 3)
Preview
Unable to display preview. Download preview PDF.
References
“Alvey Programme Software Engineering Strategy”, November 1983.
Bramson, B.D., “Tools for the Specification, Design, Analysis and Verification of Software”, RSRE Memorandum 4063, RSRE, Procurement Executive, Ministry of Defence, RSRE Malvern, Worcs., June 1987.
Goguen, J. and Meseguer, J., “Rapid Prototyping in the OBJ Executable Specification Language”, SIGSOFT Software Engineering Notes, 7(5):75–84, December 1982.
Greenspan, S.J., “Requirements Modelling; A Knowledge Representation Approach to Software Requirements Definition”, Technical Report CSRG-155, Computer Systems Research Group, University of Toronto, March 1984.
Jones, C.B. and Lindsay, P.A., “A Support System for Formal Reasoning; Requirements and Status”, in VDM'88, VDM-Europe Symposium 1988, Dublin, Springer-Verlag 1988.
Ould, M.A. and Roberts, C., “Defining Formal Models of the Software Development Process”, in Brereton, P., editor, Software Engineering Environments, Ellis Horwood, 1987.
Warboys, B.C. and Veasey, P., “Twenty Years with Support Environments”, ICL Technical Journal, Vol. 6, No. 3, May 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Snowdon, R.A. (1990). An introduction to the IPSE 2.5 project. In: Long, F. (eds) Software Engineering Environments. Lecture Notes in Computer Science, vol 467. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53452-0_29
Download citation
DOI: https://doi.org/10.1007/3-540-53452-0_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53452-5
Online ISBN: 978-3-540-46886-8
eBook Packages: Springer Book Archive