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

2019

433.
M. Tichy and T. Witte, "A Hybrid Editor for Fast Robot Mission Prototyping" in Proc. of the 1st International Workshop on Explainable Software, Nov. 2019.
432.
M. Tichy and F. Ege, "A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations" in International Workshop on Modeling Language Engineering and Execution (MLE): The joint Fifth International Workshop on Executable Modeling (EXE) and Seventh International Workshop on the Globalization of Modeling Languages (GEMOC), Sep. 2019.
431.
K. Juhnke and M. Tichy, "A Tailored Domain Analysis Method for Developing System-Specific Testing DSLs Enabling their Smooth Introduction in Automotive Practice " in Euromicro Conference on Software Engineering and Advanced Applications 2019, 2019.
430.
F. Ciccozzi, M. Tichy, H. Vangheluwe and D. Weyns, "Blended Modelling - What, why and how" in First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep. 2019.
429.
M. Stegmaier, A. Raschke, M. Tichy, E. Meßner, S. Hajian and A. Feldengut, "Insights for Improving Diagram Editing Gained from an Empirical Study" in Fourth International Workshop on Human Factors in Modeling, Sep. 2019.