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


pdf
Tichy, Matthias; Beaucamp, Luis; Kögel, Stefan
Towards Debugging the Matching of Henshin Model Transformations Rules
1st International Workshop on Debugging in Model-Driven Engineering (MDEbug), Austin, Texas
Juli 2017
default
Besker, Terese; Martini, Antonio; Bosch, Jan; Tichy, Matthias
An investigation of Technical Debt in Automated Production Systems
Proceedings of the Ninth International Workshop on Managing Technical Debt (held in conjunction with XP2017), Cologne, Germany
Mai 2017
akzeptiert
pdf
Nassal, Alexander; Tichy, Matthias
Ein Framework zur Erstellung von Planspielen zur Softwaretechnik
15. Workshop für Software Engineering im Unterricht der Hochschulen, Hannover, 22-23. Februar 2017
Februar 2017
default
Liebel, Grischa; Anjorin, Anthony; Knauss, Eric; Lorber, Florian; Tichy, Matthias
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal,
Februar 2017
pdf
Liebel, Grischa; Tichy, Matthias; Knauss, Eric; Ljungkrantz, Oscar; Stieglbauer, Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering,
Oktober 2016