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

445.
Breckel, Alexander; Pietron, Jakob; Juhnke, Katharina; Tichy, Matthias
A Domain Specific Language and Interactive User Interface for Model-Driven Engineering of Technology Roadmaps (accepted)
Euromicro Conference on Software Engineering and Advanced Applications (SEAA), August 26 – 28, 2020 Portorož, Slovenia
08 2020
444.
Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Evaluating #SAT solvers on industrial feature models
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Seite 3:1--3:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Herausgeber: ACM
2020
DOI:10.1145/3377024.3377025
443.
Sprey, Joshua; Sundermann, Chico; Krieter, Sebastian; Nieke, Michael; Mauro, Jacopo; Thüm, Thomas; Schaefer, Ina
SMT-based variability analyses in FeatureIDE
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Seite 6:1--6:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Herausgeber: ACM
2020
DOI:10.1145/3377024.3377036
442.
Bordis, Tabea; Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Variational correctness-by-construction
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Seite 7:1--7:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Herausgeber: ACM
2020
DOI:10.1145/3377024.3377038
441.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Saake, Gunter; Leich, Thomas
YASA: Yet another sampling algorithm
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Seite 4:1--4:10
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Herausgeber: ACM
2020
DOI:10.1145/3377024.3377042