Abstract
The formal method RAISE and its associated specification language, RSL, are assessed by a number of consumers in the LaCoS project. The consumers apply the technology to their industrial applications and document their experience in a number of assessment reports. This report is based on the consumers' response to using RAISE and RSL and covers the first 1 1/2 year of the LaCoS project.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Brock, S., George, C., RAISE Method Manual, LACOS/CRI/DOC/3, 1990
Chalmers, D.L., Dandanell, B., Gørtz, J., Storbank Pedersen, J., Zierau, E., Experiences from Applications of RAISE — Report 1, LACOS/CRI/CONS/-13, 1991
Chalmers, D.L., Dandanell, B., Gørtz, J., Storbank Pedersen, J., Zierau, E., Using RAISE — First Impressions from the LaCoS Applications, in “VDM'91: Formal Software Development Methods”, LNCS 551, Springer-Verlag, 1991
Dandanell, B., Gørtz, J., Storbank Pedersen, J., Zierau, E., Experiences from Applications of RAISE — Report 2, LACOS/SYPRO/CONS/20, 1992
Dandanell, B., George, C., The LaCoS Project, LACOS/CRI/BDH/8, 1991
ESA Board for Software Standardisation and Control (BSSC), ESA Software Engineering Standards, ESA PSS-05-0 Issue 2, 1991
Fox, C., SCP — Testing Working Paper, LACOS/LLOYD'S/CJF/8, 1991
George, C., Prehn, S., The RAISE Justification Handbook, LACOS/CRI/-DOC/7, 1992
Granville, R, Assessment of RAISE against UK MoD DefStan 00–55, LACOS/-LLOYD'S/RJG/29, 1992
Haxthausen, A., Prehn, S., Storbank Pedersen, J., RAISE Overview, RAISE/-CRI/DOC/9, 1992
Manero, E., RAISE and ESA Software Engineering Lifecycles, Proceedings of the Second Symposium ‘Ada in AEROSPACE', pp. 411–437, 1992
Milne, R., Semantic Foundations of RSL, RAISE/CRI/DOC/4, 1990
UK Ministry of Defence, Interim Defence Standard, MoD 00–55, UK Ministry of Defence, 1991
Reps, T.W., Teitelbaum, T., The Synthesizer Generator, Springer Verlag, New York, 1988
The RAISE Language Group, The RAISE Specification Language, Prentice Hall, 1992
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dandanell, B., Gørtz, J., Pedersen, J.S., Zierau, E. (1993). Experiences from applications of RAISE. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024637
Download citation
DOI: https://doi.org/10.1007/BFb0024637
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56662-5
Online ISBN: 978-3-540-47623-8
eBook Packages: Springer Book Archive