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

428.
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.

2018

427.
S. Wagner, M. Tichy, M. Felderer and S. Leue, "Verlässliche Software im 21. Jahrhundert" , Informatik Spektrum , Sep. 2018.
426.
T. Frühwirth, The Computer Art of Mason's Mark Design with VanDeGraphGenerator. .... BOD , Okt. 2018.
https://books.google.de/books?id=w3hoDwAAQBAJ
425.
J. Pietron, A. Raschke, M. Stegmaier, M. Tichy and E. Rukzio, "Study Design Template for Identifying Usability Issues in Graphical Modeling Tools" in 2nd Workshop on Tools for Model Driven Engineering (MDETools'18) at MODELS'18, Copenhagen , Okt. 2018.
http://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf
424.
D. Gall and T. Frühwirth, "An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules" , ACM Transactions on Computational Logic (TOCL) , vol. 19 , no. 3 , Sep. 2018. https://dl.acm.org/citation.cfm?id=3218818&dl=ACM&coll=DL .
DOI: 10.1145/3218818
https://arxiv.org/abs/1702.01606