Abstract
This paper presents the RAISE software development method, its associated specification language, and the tools supporting it. The RAISE Method enables the stepwise development of both sequential and concurrent software from abstract specification through design to implementation. All stages of RAISE software development are expressed in the wide-spectrum RAISE Specification Language. The RAISE Tools forms an integrated tool environment supporting both language and method.
The paper surveys RAISE and furthermore, more detailed presentations of major RAISE results are provided. The subjects of these are (1) an example of the use of the RAISE method and language, and (2) a presentation of the mathematical semantics of the RAISE specification language.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Dines Bjørner and Cliff B. Jones. Formal Specification and Software Development. Prentice Hall International, 1982.
Michael Breu, Manfred Broy, Thomas Grünler, and Friederike Nickl. PA nn dA-S Semantics. PROSPECTRA Study Note M.2.1.S1-SN-1.3, Universität Passau, Fakultät für Mathematik und Informatik, 1988.
R.M. Burstall and J.A. Goguen. Putting theories together to make specifications. In Proceedings, Fifth International Joint Conference on Artificial Intelligence. Cambridge, Mass., pages 1045–1058, 1977.
R.M. Burstall and J.A. Goguen. The semantics of clear, a specification language. In Proceedings, 1979 Copenhagen Winter School on Abstract Software Specifications. Lecture Notes In Computer Science, 86, pages 292–332, Springer-Verlag, 1980.
The Munich CIP Group. The Munich Project CIP, The Wide Spectrum Language CIP-L. Volume 183 of Lecture Notes in Computer Science, Springer-Verlag, 1985.
E.W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
K. Futatsugi, J.A. Goguen, J-P. Jouannaud, and J. Meseguer. Principles of obj2. In Eleventh Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, Inc., 1985.
C. W. George. Practical aspects of development. RAISE Report CWG/28/V4, STC Technology Limited, April 1988.
J.V. Guttag, J.J. Horning, and J.M. Wing. Larch in Five Easy Pieces. Digital Systems Research Center, 1985. Report 5.
Robert Harper, David MacQueen, and Robin Milner. Standard ML. LFCS Report Series ECS-LFCS-86-2, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, 1986.
C.A.R. Hoare, editor. Communicating Sequential Processes. P-H Series in Computer Science, Prentice/Hall International, 1985.
Inmos Ltd. Occam Programming Manual. Prentice/Hall International, 1984.
C.B. Jones. Systematic Software Development Using VDM. P-H Series in Computer Science, Prentice Hall International Ltd., 1986.
Jesper Jørgensen, Steen Ulrik Palm, Palle Christensen, Peter Haff, Lars Wilkens Henriksen, and Peter Sestoft. Preliminary Definition of the RAISE Specification Language. RAISE Report JJ/14/V6, Dansk Datamatik Center, February 1988.
Leslie Lamport. LATEX: A Document Preparation System. Addison-Wesley Publishing Company, 1986.
Brian Monahan. A semantic definition of the stc vdm reference language. November 1985. Hand written notes.
Søren Prehn. From vdm to raise. In D. Bjørner and C. B. Jones, editors, Proceedings of the VDM '87 Symposium, Lecture Notes in Computer Science 252, pages 141–150, Springer-Verlag, March 1987.
T.W. Reps and T. Teitelbaum. The synthesizer generator reference manual. Cornell University, Dept. of Computer Science, July 1987. Second Edition.
A.W. Roscoe. Denotational semantics for Occam. In G. Winskel S.D Brookes, A. W. Roscoe, editor, Seminar on Concurrency, Lecture Notes in Computer Science 197, Springer-Verlag, July 1984.
N. Wirth. Program development by stepwise refinement. Communications of the ACM, (14):221–227, 1971.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nielsen, M., Havelund, K., Wagner, K.R., George, C. (1988). The RAISE language, method and tools. In: Bloomfield, R.E., Marshall, L.S., Jones, R.B. (eds) VDM '88 VDM — The Way Ahead. VDM 1988. Lecture Notes in Computer Science, vol 328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50214-9_25
Download citation
DOI: https://doi.org/10.1007/3-540-50214-9_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50214-2
Online ISBN: 978-3-540-45955-2
eBook Packages: Springer Book Archive