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

397.
T. Frühwirth, "Implementation of Logical Retraction in Constraint Handling Rules with Justifications " in Proceedings of the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP) , 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP) , Würzburg , 19th to 21st September 2017 , Sep. 2017.
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/fruehwirth/publications/2017_fru_inap.pdf
396.
M. Staron, W. Meding, M. Tichy, J. Bjurhede, H. Giese and O. Söder, "Industrial experiences from evolving measurement systems into self-healing systems for improved availability" , Software: Practice and Experience , Aug. 2017.
DOI:10.1002/spe.2522
Datei:http://dx.doi.org/10.1002/spe.2522
395.
D. Strüber, K. Born, K. D. Gill, R. Groner, T. Kehrer, M. Ohrndorf and M. Tichy, "Henshin: A Usability-Focused Framework for EMF Model Transformation Development" in Proceedings of the 10th International Conference on Graph Transformation (ICGT 2017), Marburg, Germany , Jul. 2017.
DOI:10.1007/978-3-319-61470-0_12
394.
N. Sharaf, S. Abdennadher and T. Frühwirth, "CHR-Graph: A Platform for Animating Tree and Graph Algorithms" in Poster at the 21st International Conference Information Visualisation (iV2017) , 21st International Conference Information Visualisation (iV2017) , London, UK , July 2017 , Jul. 2017.
DOI:10.1109/iV.2017.58
Datei:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-graph.pdf
393.
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.