Abstract
The use of a formal method is often seen in terms of (a) creating a formal description, or specification, that meets the requirements, and (b) refining that specification into code. More emphasis is commonly placed on (b) than on (a). This paper looks more at (a), particularly at means by which we can be more confident that a specification is correct. It considers the RAISE tools in terms both of their development and also in terms of the support they provide for gaining confidence in specifications, and hence in raising their quality.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
The RAISE Language Group. The RAISE Specification Language. BCS Practitioner Series. Prentice Hall, Available from Terma A/S (1992), Contact jnp@terma.com (1992)
Dandanell, B., Gørtz, J., Storbank Pedersen, J., Zierau, E.: Experiences from Applications of RAISE. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol. 670. Springer, Heidelberg (1993)
The RAISE Method Group. The RAISE Development Method. BCS Practitioner Series. Prentice Hall (1995), Available by ftp from ftp://ftp.iist.unu.edu/pub/RAISE/method_book
Bruun, P.M., et al.: RAISE Tools Reference Manual. Technical Report LACOS/ CRI/DOC/17, CRI: Computer Resources International (1995)
Dang Van, H., George, C., Janowski, T., Moore, R. (eds.): Specification Case Studies in RAISE. FACIT. Springer, Heidelberg (2002), http://www.iist.unu.edu/RAISE_Case_Studies
Schröer, F.W.: The GENTLE Compiler Construction System (1997), GENTLE is available from http://www.first.gmd.de/gentle
Hua, H.: A Prettyprinter for the RAISE Specification Language. Technical Report 150, UNU/IIST, P.O.Box 3058, Macau (December 1998)
Wei, K., George, C.: An RSL to SML Translator. Technical Report 208, UNU/IIST, P.O. Box 3058, Macau (August 2000)
Ahn, U., George, C.: C++ Translator for RAISE Specification Language. Technical Report 220, UNU/IIST, P.O. Box 3058, Macau (November 2000)
Dasso, A., George, C.: Transforming RSL into PVS. Technical Report 256, UNU/IIST, P.O. Box 3058, Macau (May 2002)
Funes, A., George, C.: Formal Foundations in RSL for UML Class Diagrams. Technical Report 253, UNU/IIST, P.O. Box 3058, Macau (May 2002)
Dan, L., Aichernig, B.K.: Automatic Test Case Generation for RAISE. Technical Report 273, UNU/IIST, P.O.Box 3058, Macau (February 2003)
Milne, R.E.: The semantic foundations of the RAISE specification language. Technical Report RAISE/STC/REM/11, STC/STL, Harlow, UK (1990)
Pnueli, A., Siegel, M., Singerman, E.: Translation validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 151–166. Springer, Heidelberg (1998)
Milne, R.E.: The proof theory for the RAISE specification language. Technical Report RAISE/STC/REM/12, STC/STL, Harlow, UK (1990)
Aichernig, B.: Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques. PhD thesis, Institute for Software Technology, TU Graz, Austria (January 2001); Supervisor: Peter Lucas
Aichernig, B.K.: Test-Design through Abstraction – A Systematic Approach Based on the Refinement Calculus. Journal of Universal Computer Science 7(8), 710–735 (2001)
Rushby, J.: Mechanized formal methods: Where next? In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 48–51. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
George, C. (2003). The Development of the RAISE Tools. In: Aichernig, B.K., Maibaum, T. (eds) Formal Methods at the Crossroads. From Panacea to Foundational Support. Lecture Notes in Computer Science, vol 2757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40007-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-40007-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20527-2
Online ISBN: 978-3-540-40007-3
eBook Packages: Springer Book Archive