Institut für Softwaretechnik und Programmiersprachen

Forschung

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.

Übersicht über unsere Forschung

Lehre

Neben Vorlesungen für Bachelor und Master-Studierende bieten wir auch Seminare und Projekte an.

Übersicht aller Lehrveranstaltungen

Kontakt & Anfahrt

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

Anfahrtsskizze

Aktuelle Publikationen


default
Guttmann, Walter; Möller, Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, First International Symposium on the Unifying Theories of Programming (UTP 06) , Seite 206-225.
Herausgeber: University of Teesside, United Kingdom,
Februar 2006
default
Meister, Marc
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
In Fink, M. and Tompits, H. and Woltran, S., Editor, Proceedings of WLP 2006, 20th Workshop on Logic Programming aus INFSYS Research Report , Seite 172-181.
Herausgeber: Technische Universität Wien,
Februar 2006
default
Hammori, Markus; Herbst, Joachim; Kleiner, Niko
Interactive Workflow Mining
Data and Knowledge Engineering Journal: Special Issue on Business Process Management, 56(1):41-63
Januar 2006
default
Schrijvers, T.; Frühwirth, Thom
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming, 6(1-2):213-224
Januar 2006
default
Schrijvers, T.; Demoen, B.; Duck, G.; Stuckey, P.; Frühwirth, Thom
Automatic implication checking for CHR constraints
In Cirstea, H. and Martí-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005 Band 147 aus Electronic Notes in Theoretical Computer Science , Seite 93-111.
Januar 2006