The development of the RAISE tools

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2757, Issue , 2003, Pages 49-64

  George, Chris ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FORMAL DESCRIPTION;

FORMAL SPECIFICATION;

EID: 35248828701     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40007-3_4     Document Type: Article

References (18)

1. The RAISE Language Group. The RAISE Specification Language. BCS Practitioner Series. Prentice Hall, 1992. Available from Terma A/S. Contact jnp@terma.com.
2. B. Dandanell, J. Gørtz, J. Storbank Pedersen, and E. Zierau. Experiences from Applications of RAISE. In FME'93: Industrial Strength Formal Methods, volume 670 of Lecture Notes in Computer Science. Springer-Verlag, 1993.
3. 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.
4. P.M. Bruun et al. RAISE Tools Reference Manual. Technical Report LACOS/CRI/DOC/17, CRI: Computer Resources International, 1995.
5. Hung Dang Van, Chris George, Tomasz Janowski, and Richard Moore, editors. Specification Case Studies in RAISE. FACIT. Springer, 2002. Web site: http://www.iist.unu.edu/RAISE-Case.Studies.
6. Friedrich Wilhelm Schröer. The GENTLE Compiler Construction System, 1997. GENTLE is available from http://www.first.gmd.de/gentle.
7. He Hua. A Prettyprinter for the RAISE Specification Language. Technical Report 150, UNU/IIST, P.O.Box 3058, Macau, December 1998.
8. Ke Wei and Chris George. An RSL to SML Translator. Technical Report 208, UNU/IIST, P.O. Box 3058, Macau, August 2000.
9. Univan Ahn and Chris George. C++ Translator for RAISE Specification Language. Technical Report 220, UNU/IIST, P.O. Box 3058, Macau, November 2000.
10. Aristides Dasso and Chris George. Transforming RSL into PVS. Technical Report 256, UNU/IIST, P.O. Box 3058, Macau, May 2002.
11. Ana Funes and Chris George. Formal Foundations in RSL for UML Class Diagrams. Technical Report 253, UNU/IIST, P.O. Box 3058, Macau, May 2002.
12. Li Dan and Bernhard K. Aichernig. Automatic Test Case Generation for RAISE. Technical Report 273, UNU/IIST, P.O.Box 3058, Macau, February 2003.
13. R.E. Milne. The semantic foundations of the RAISE specification language. Technical Report RAISE/STC/REM/11, STC/STL, Harlow, UK, 1990.
14. A. Pnueli, M. Siegel, and E. Singerman. Translation validation. In Bernhard Steffen, editor, TACAS'98: Tools and Algorithms for the Construction and Aanlysis of Systems, volume 1384 of Lecture Notes in Computer Science, pages 151-166, Lisbon, Portugal, March/April 1998. Springer Verlag.
15. R.E. Milne. The proof theory for the RAISE specification language. Technical Report RAISE/STC/REM/12, STC/STL, Harlow, UK, 1990.
16. Bernhard Aichernig. 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.
17. Bernhard K. Aichernig. Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus. Journal of Universal Computer Science, 7(8):710 - 735, August 2001.
18. John Rushby. Mechanized formal methods: Where next? In Jeannette Wing and Jim Woodcock, editors, FM99: The World Congress in Formal Methods, volume 1708 of Lecture Notes in Computer Science, pages 48-51, Toulouse, France, September 1999. Springer Verlag.