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

2018

411.
S. Kögel, M. Tichy, R. Groner, M. Stegmaier, S. Götz and S. Rechenberger, "Developing an Optimizing Compiler for the Game Boy as a Software Engineering Project" in Software Engineering Education and Training Track of the 40th International Conference on Software Engineering (ICSE SEET 2018), Gothenburg, Sweden , Mai 2018.
DOI:10.1145/3183377.3183388
Datei:https://www.icse2018.org/event/icse-2018-software-engineering-education-and-training-developing-an-optimizing-compiler-for-the-game-boy-as-a-software-engineering-project
410.
K. Juhnke, M. Tichy and F. Houdek, "Challenges with Automotive Test Case Specifications" in Poster Track of the 40th International Conference on Software Engineering (ICSE SEIP 2018), Gothenburg, Sweden , Mai 2018.
Datei:https://www.icse2018.org/event/icse-2018-posters-poster-challenges-with-automotive-test-case-specifications
409.
D. Gall and T. Frühwirth, "Confluence Modulo Equivalence with Invariants in Constraint Handling Rules" in Functional and Logic Programming , Fourteenth International Symposium on Functional and Logic Programming 2018 (FLOPS 2018) , Nagoya, Japan , Gallagher J., Sulzmann M., Eds. Springer , Mai 2018. pp. 116-131.
DOI:10.1007/978-3-319-90686-7_8
Datei:https://arxiv.org/abs/1802.03381
408.
R. Groner, M. Tichy and S. Becker, "Towards Performance Engineering of Model Transformation" in 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, Germany , Apr. 2018.
DOI:10.1145/3185768.3186305
Datei:https://doi.org/10.1145/3185768.3186305
407.
E. Börger and A. Raschke, Modeling Companion for Software Practitioners. .... Springer-Verlag Berlin Heidelberg , Apr. 2018.
DOI:10.1007/978-3-662-56641-1
Datei:https://www.springer.com/de/book/9783662566398