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

2018

413.
D. Meißner, B. Erb, F. Kargl and M. Tichy, "retro-λ: An Event-sourced Platform for Serverless Applications with Retroactive Computing Support" in 12th ACM International Conference on Distributed and Event-based Systems (DEBS 2018), Hamilton, New Zealand , Jun. 2018.
412.
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
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
411.
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
https://arxiv.org/abs/1802.03381
410.
G. Liebel, M. Tichy and E. Knauss, "Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering" , Journal of Software and Systems Modeling , Mai 2018.
409.
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.
https://www.icse2018.org/event/icse-2018-posters-poster-challenges-with-automotive-test-case-specifications