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

409.
Liebel, Grischa; Tichy, Matthias; Knauss, Eric
Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering
Journal of Software and Systems Modeling
Mai 2018
408.
Groner, Raffaela; Tichy, Matthias; Becker, Steffen
Towards Performance Engineering of Model Transformation
9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, Germany
April 2018
DOI:10.1145/3185768.3186305
Datei:https://doi.org/10.1145/3185768.3186305
407.
Börger, Egon; Raschke, Alexander
Modeling Companion for Software Practitioners
Herausgeber: Springer-Verlag Berlin Heidelberg
April 2018
DOI:10.1007/978-3-662-56641-1
Datei:https://www.springer.com/de/book/9783662566398
406.
Getir, Sinem; Grunske, Lars; van Hoorn, André; Kehrer, Timo; Noller, Yannic; Tichy, Matthias
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models
Journal of Systems and Software
April 2018
DOI:10.1016/j.jss.2018.04.001
Datei:https://www.journals.elsevier.com/journal-of-systems-and-software/
405.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Quality Indicators for Automotive Test Case Specifications
1st Workshop on Software Engineering for Applied Embedded Real-Time Systems (SEERTS 2018), Ulm, Germany
März 2018
Datei:http://ceur-ws.org/Vol-2066/seerts2018paper02.pdf