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
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
default
Sjöstedt, C.-J.; Chen, D.-J.; Cuenot, Philippe; Frey, Patrick; Johansson, Ralf; Lönn, Henrik; Servat, David; Törngren, Martin
Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML
In Fritzson, P. and Cellier, F. and Nytsch-Geusen, C., Editor, Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools aus Linköping Electronic Conference Proceedings , Seite 25-36.
Herausgeber: Linköping University Electronic Press, Linköpings universitet,
Juli 2007
default
Meister, Marc
Concurrency of the Preflow-Push Algorithm in Constraint Handling Rules
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop , Seite 160-169.
Juni 2007