Acknowledgements	Top	Navigation
References

References

 [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]

The RAISE Method Group. The RAISE Development Method. Prentice-Hall International (UK) Limited, 1995.

 [3]

He Hua. A Prettyprinter for the RAISE Specification Language. Technical Report 150, UNU-IIST, P.O.Box 3058, Macau, December 1998.

 [4]

Ke Wei and Chris George. An RSL to SML Translator. Technical Report 208, UNU-IIST, P.O. Box 3058, Macau, August 2000.

 [5]

Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML -- Revised. MIT Press, 1997.

 [6]

Univan Ahn and Chris George. C++ Translator for RAISE Specification Language. Technical Report 220, UNU-IIST, P.O. Box 3058, Macau, November 2000.

 [7]

Aristides Dasso and Chris George. Transforming RSL into PVS. Technical Report 256, UNU-IIST, P.O. Box 3058, Macau, May 2002.

 [8]

G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.

 [9]

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. Published as chapter VIII Formalizing UML Class Diagrams of UML and the Unified Process, Liliana Favre (ed.), IRM Press, 2003.

 [10]

Zhiming Liu. Object Oriented Software Development using UML. Technical Report 229, UNU/IIST, March 2001.

 [11]

H. Maruyama, K. Tamura, and N. Uramoto. XML and Java, Developing Web Applications. Addison-Wesley, 2000.

 [12]

Steve Holzner. Inside XML. New Riders, 2001.

 [13]

Juan Ignacio Perna and Chris George. Model checking RAISE specifications. Technical Report 331, UNU-IIST, P.O.Box 3058, Macau, December 2005.

 [14]

Leonardo De Moura and Sam Owre. The SAL Language Manual. Technical report, SRI-CSL, 2003.

 [15]

Chris George. Introduction to RAISE. Technical Report 249, UNU-IIST, P.O. Box 3058, Macau, April 2002.

 [16]

Chris George. Domain Modeling and the Duration Calculus, volume 4710 of LNCS, chapter Applicative Modelling with RAISE, pages 51-118. Springer, 2007.

References
Acknowledgements	Top	Navigation