Willkommen

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.

Kontakt

Institut für Softwaretechnik und Programmiersprachen

Universität Ulm
James-Franck-Ring
D-89069 Ulm

Gebäude O27, Niveau 4

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

Aktuelle Publikationen


default
Schneider, Kurt; von Hunnius, Jan-Peter
Effective Experience Repositories in Software-Engineering
25th International Conference on Software Engineering (ICSE), Portland
2003
default
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
default
Guttmann, Walter
Deriving an Applicative Heapsort Algorithm
Dokument Nummer: UIB-2002-02
Universität Ulm,
Dezember 2002
default
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
default
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
default
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