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

Themen für Abschlussarbeiten und Praktika

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
Frey, Patrick; Freund, U.
AUTOSAR} compliant reengineering of an Engine Management Syste
In Gehrke, M. and Giese, H. and Stroop, J., Editor, Preliminary Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER4) , Seite 18-24.
Oktober 2007
default
Betz, Hariolf
A Linear-Logic Semantics for Constraint Handling Rules with Disjunction
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 17-31.
September 2007
default
Betz, Hariolf
Relating Coloured Petri Nets to Constraint Handling Rules
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 33-47.
September 2007
default
Frühwirth, Thom
Description Logic and Rules the CHR Way
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 49-61.
September 2007
default
Raiser, Frank; Tacchella, P.
On Confluence of Non-terminating CHR Programs
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 63-76.
September 2007