Unser zentrales Forschungsthema sind verschiedene Aspekte der Softwaretechnik und des Compilerbaus, insbesondere Requirements-Engineering-Methoden, -Formalismen und -Tools, Constraint-Programmierung, Model Driven Development, experimentelles Software-Engineering, formale Methoden in der Softwareentwicklung, sowie die Entwicklung innovativer Softwarewerkzeuge.


Institut für Softwaretechnik und Programmiersprachen

Universität Ulm
D-89069 Ulm

Gebäude O27, Niveau 4

Telefon: +49 (0)731 / 50 - 24161
Telefax: +49 (0)731 / 50 - 24162

Aktuelle Publikationen

Schneider, Kurt; von Hunnius, Jan-Peter
Effective Experience Repositories in Software-Engineering
25th International Conference on Software Engineering (ICSE), Portland
Houdek, Frank; Schwinn, Thilo; Ernst, Dietmar
Defect Detection for Executable Specifications: An Experiment
International Journal of Software Engineering and Knowledge Engineering, 12(6):637-655
Dezember 2002
Guttmann, Walter
Deriving an Applicative Heapsort Algorithm
Dokument Nummer: UIB-2002-02
Universität Ulm,
Dezember 2002
Frühwirth, Thom
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs
In Di Pierro, A. and Wiklicky, H., Editor, Quantitative Aspects of Programming Laguages, QAPL'01 Band 59 aus Electronic Notes in Theoretical Computer Science , Seite 185-206.
November 2002
Frühwirth, Thom; Di Pierro, A.; Wiklicky, H.
Probabilistic Constraint Handling Rules
In Comini, M. and Falaschi, M., Editor, 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002 Band 76 aus Electronic Notes in Theoretical Computer Science , Seite 115-130.
November 2002
Guttmann, Walter; Partsch, Helmuth; Schulte, Wolfram; Vullinghs, Ton
Tool Support for the Interactive Derivation of Formally Correct Functional Programs (Extended Abstract)
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor, FM-TOOLS 2002: The Fifth Workshop on Tools for System Design and Verification , Seite 15-20.
Herausgeber: Institut für Informatik, Universität Augsburg,
Juni 2002