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

Anfahrtsskizze

Aktuelle Publikationen

2020

444.
C. Sundermann, T. Thüm and I. Schaefer, "Evaluating #SAT solvers on industrial feature models" in VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020 , Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Eds. ACM , 2020. pp. 3:1--3:9.
DOI:10.1145/3377024.3377025
443.
S. Krieter, T. Thüm, S. Schulze, G. Saake and T. Leich, "YASA: Yet another sampling algorithm" in VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020 , Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Eds. ACM , 2020. pp. 4:1--4:10.
DOI:10.1145/3377024.3377042
442.
J. Sprey, C. Sundermann, S. Krieter, M. Nieke, J. Mauro, T. Thüm and I. Schaefer, "SMT-based variability analyses in FeatureIDE" in VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020 , Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Eds. ACM , 2020. pp. 6:1--6:9.
DOI:10.1145/3377024.3377036
441.
T. Bordis, T. Runge, A. Knüppel, T. Thüm and I. Schaefer, "Variational correctness-by-construction" in VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020 , Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Eds. ACM , 2020. pp. 7:1--7:9.
DOI:10.1145/3377024.3377038

2019

440.
J. Domaschka, C. Berger, H. P. Reiser, P. Eichhammer, F. Griesinger, J. Pietron, M. Tichy, F. J. Hauck and G. Habiger, "Sorrir: A resilient self-organizing middleware for iot applications [position paper]" , M4IoT '19: Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things , Dec. 2019.
DOI:10.1145/3366610.3368098