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

414.
M. Gutbrod, J. Münch and M. Tichy, "The Business Experiments Navigator (BEN) - An Approach for Validating Business Models with Experimentation" in 24th ICE/IEEE International Technology Management Conference (ICE 2018), Stuttgart, Germany , Jun. 2018.
http://www.ice-conference.org/Home.aspx
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.
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.
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.
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