Transformation of Applicative Specifications into Imperative ...

Bibliography
[DOF] Data & Object Factory. www.dofactory.com.
[Gro92] The RAISE Language Group. The RAISE Specification Language.
The BCS Practitioners Series. Prentice-Hall, 1992.
[Gro95] The RAISE Method Group. The RAISE Development Method. The
BCS Practitioners Series. Prentice-Hall International, 1995.
[Hax99] Anne E. Haxthausen. Lecture Notes on The RAISE Development
Method, April 1999. Lecture notes.
[Hax05] Anne E. Haxthausen. Towards a Formal Development Relation between
Applicative and Imperative RSL Specifications. Handwritten
notes, June 2004 - January 2005.
[Hja04] Ulrik Hjarnaa. Translation of a Subset of RSL into Java. Master’s
thesis, DTU, 2004.
[Jon86] Cliff B. Jones. Systematic Software Development Using VDM. Series
in Computer Science. Prentice-Hall, 1986.
[LH04] M. P. Lindegaard and A. E. Haxthausen. Proof Support for RAISE
– by a Reuse Approach based on Institutions. In Proceedings of
AMAST’04, number 3116 in Lecture Notes in Computer Science,
pages 319–333. Springer-Verlag, 2004.
[Lin04] Morten P. Lindegaard. Proof Support For RAISE. PhD thesis,
Technical University of Denmark, Informatics and Mathematical
Modelling, 2004.
[Mil90] R. Milne. Semantic Foundation of RSL. Technical report, CRI,
March 1990.
[Par] Terence Parr. ANTLR Reference Manual. www.antlr.org.
[ST] Donald Sannello and Andrzej Tarlecki. Foundations of Algebraic
Specifications and Formal Program Development. To appear.
133