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

2017

392.
N. Sharaf, S. Abdennadher and T. Frühwirth, "A Rule-Based Approach for Automatic Interaction Detection and Annotation" in 21st International Conference Information Visualisation (iV2017) , 21st International Conference Information Visualisation (iV2017) , London, UK , July 2017 , Jul. 2017.
DOI:10.1109/iV.2017.59
Datei:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/interaction_detection.pdf
391.
D. Gall and T. Frühwirth, "A Decidable Confluence Test for Cognitive Models in ACT-R" in Proceedings of RuleML+RR 2017 , International Joint Conference on Rules and Reasoning (RuleML+RR 2017) , London, UK , July 2017 , Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, Eds. Springer , Jul. 2017.
DOI:10.1007/978-3-319-61252-2_9
Datei:http://arxiv.org/pdf/1705.08392
390.
M. Tichy, L. Beaucamp and S. Kögel, "Towards Debugging the Matching of Henshin Model Transformations Rules" in 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug), Austin, Texas , Jul. 2017.
Datei:https://msdl.uantwerpen.be/conferences/MDEbug/wp-content/uploads/2017/08/MDEbug_2017_paper_2.pdf
389.
B. Erb, D. Meißner, J. Pietron and F. Kargl, "Chronograph: A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs" , Jun. 2017.
DOI:10.1145/3093742.3093913
388.
T. Besker, A. Martini, J. Bosch and M. Tichy, "An investigation of Technical Debt in Automated Production Systems" in Proceedings of the Ninth International Workshop on Managing Technical Debt (held in conjunction with XP2017), Cologne, Germany , Mai 2017.
DOI:10.1145/3120459.3120466