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
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
default
Meister, Marc; Djelloul, Khalil; Robin, J.
Une sémantique complète pour CHR en logique des transactions
In Deransart, P., Editor, Programmation par Contraintes, Troisièmes Journées Francophones , Seite 130-138.
Juni 2007
default
Meister, Marc; Frühwirth, Thom
Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop , Seite 123-137.
Juni 2007
default
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander; Gessenharter, Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum, (6)
2007