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

2017

393.
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.
https://msdl.uantwerpen.be/conferences/MDEbug/wp-content/uploads/2017/08/MDEbug_2017_paper_2.pdf
392.
F. Bordeleau, G. Liebel, A. Raschke, G. Stieglbauer and M. Tichy, "Challenges and Research Directions for Successfully Applying MDE Tools in Practice" in Model-Driven Engineering Tools Challenge (MDETools'17), Austin, Texas , Jul. 2017.
391.
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
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/interaction_detection.pdf
390.
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
http://arxiv.org/pdf/1705.08392
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