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

2017

388.
T. Besker, A. Martini, J. Bosch and M. Tichy, "An investigation of Technical Debt in Automated Production Systems" in Proceedings of the Ninth International Workshop on Managing Technical Debt (held in conjunction with XP2017), Cologne, Germany , Mai 2017.
DOI: 10.1145/3120459.3120466
387.
B. Erb, D. Meißner, G. Habiger, J. Pietron and F. Kargl, "Consistent retrospective snapshots in distributed event-sourced systems " , Mä. 2017.
DOI: 10.1109/NetSys.2017.7903947
386.
A. Nassal and M. Tichy, "Ein Framework zur Erstellung von Planspielen zur Softwaretechnik" in 15. Workshop für Software Engineering im Unterricht der Hochschulen, Hannover, 22-23. Februar 2017 , Feb. 2017.
http://ceur-ws.org/Vol-1790/paper06.pdf
385.
G. Liebel, A. Anjorin, E. Knauss, F. Lorber and M. Tichy, "Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry" in 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal, , Feb. 2017.
DOI: 10.5220/0006205604270434
https://www.researchgate.net/publication/314522017_Modelling_Behavioural_Requirements_and_Alignment_with_Verification_in_the_Embedded_Industry

2016

384.
G. Liebel, M. Tichy, E. Knauss, O. Ljungkrantz and G. Stieglbauer, "Organisation and communication problems in automotive requirements engineering" , Requirements Engineering , Okt. 2016.
DOI: 10.1007/s00766-016-0261-7
http://link.springer.com/content/pdf/10.1007%2Fs00766-016-0261-7.pdf