Software Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2008
- Published
The Logic of the RAISE Specification Language. / George, Chris; Haxthausen, Anne Elisabeth.
In: Logics of Specification Languages. ed. / Dines Bjørner; Martin C. Henson. Springer, 2008. (Monographs in Theoretical Computer Science. An EATCS Series; No. XXII).Publication: Research - peer-review › Book chapter – Annual report year: 2008
- 2007
- Published
Modular PNML revisited: Some ideas for strict typing. / Kindler, Ekkart.
In: Algorithmen und Werzeuge für Petri Netze. Vol. AWPN 2007 Stephan Philippi and Alexander Pinl. ed. Koblenz, Germany : University of Koblenz-Landau, 2007. p. 20-25.Publication: Research › Article in proceedings – Annual report year: 2007
- 2006
- Published
Algebraic specification in CASL. / Baumeister, Hubert; Bert, Didier.
In: Software specification Methods: An Overview Using a Case Study. ISTE Publishing Company, 2006.Publication: Research - peer-review › Book chapter – Annual report year: 2006
- 2005
- Published
Designing a Flexible Kernel Providing VDM++ Support for Eclipse. / Nielsen, Jacob Porsborg; Hansen, Jens Kielsgaard; Bruun, Hans; Haxthausen, Anne Elisabeth.
In: Overture Workshop at Formal Methods Symposium FM'05 in Newcastle upon Tyne, UK. 2005.Publication: Research › Article in proceedings – Annual report year: 2005
- 2004
- Published
CASL Semantics. / Baumeister, Hubert; Cerioli, Maura; Haxthausen, Anne Elisabeth; Mossakowski, Till; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej.
In: CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. Vol. Lecture Notes in Computer Science, Vol. 2960 2004.Publication: Research - peer-review › Book chapter – Annual report year: 2004
- 1990
- Published
Konstruktion af indlæseprogrammer. / Kristensen, Jens Thyge.
København : Teknisk Forlag A/S, 1990. 119 p.Publication: Education › Book – Annual report year: 1990
- 1971
- Published
Algol W Fejlmeldinger : Med 113 programeksempler. / Kristensen, Jens Thyge.
København : Akademisk forlag, 1971. 90 p.Publication: Education › Book – Annual report year: 1971
- Published
Algol W Programmering. / Kristensen, Jens Thyge.
Akademisk Forlag, 1971. 280 p.Publication: Education › Book – Annual report year: 1971