Abstract
RAISE — Rigorous Approach to Industrial Software Engineering — was first developed in European collaborative projects during 1985-94. Since then a new set of free, open-source, portable tools has been developed, and a range of developments have been carried out. This tutorial introduces the language and method, and demonstrates the range of software life-cycle activities supported by the tools. These include generation of specifications from UML class diagrams, validation and verification of specifications, refinement, prototyping, execution of test cases, mutation testing, generation of documents, proof by means of translation to PVS, and generation of program code in C++ by translation. A comprehensive user guide is also available.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
The RAISE Language Group. The RAISE Development Method. BCS Practitioner Series. Prentice Hall, Englewood Cliffs (1995), Available from: ftp://ftp.iist.unu.edu/pub/RAISE/method_book
Van Dang, H., George, C., Janowski, T., Moore, R.: Specification Case Studies in RAISE. In: FACIT. Springer, Heidelberg (2002)
The RAISE Language Group. The RAISE Specification Language. BCS Practitioner Series. Prentice Hall, Englewood Cliffs (1992), Available from: Terma A/S. Contact jnp@terma.com
George, C.: A RAISE Tutorial. Technical Report 153, UNU-IIST, P.O.Box 3058, Macau (December 1998); Presented at the BRNS workshop Verification of Digital and Hybrid Systems at TIFR, Mumbai, India, January 7–11 (1999)
George, C.: Introduction to RAISE. Technical Report 249, UNU-IIST, P.O. Box 3058, Macau (April 2002)
George, C., Haxthausen, A.E.: The Logic of the RAISE Specification Language. Computing and Informatics 22(3–4) (2003)
George, C., Yong, X.: An Operational Semantics for Timed RAISE. Technical Report 149, UNU-IIST, P.O.Box 3058, Macau (November 1998); Yong, X., George, C.W.: An operational semantics for timed RAISE. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, p. 1008. Springer, Heidelberg (1999)
George, C.: RAISE Tools User Guide. Technical Report 227, UNU-IIST, P.O. Box 3058, Macau (February 2001), The tools are available from: http://www.iist.unu.edu
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
George, C. (2004). Tutorial on the RAISE Language, Method and Tools. In: Davies, J., Schulte, W., Barnett, M. (eds) Formal Methods and Software Engineering. ICFEM 2004. Lecture Notes in Computer Science, vol 3308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30482-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-30482-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23841-6
Online ISBN: 978-3-540-30482-1
eBook Packages: Springer Book Archive