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

398.
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.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/fruehwirth/publications/2017_fru_inap.pdf
397.
F. Richter, D. Gall and T. Frühwirth, "A Confluence Checker for Constraint Handling Rules with Persistent Constraints" 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.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/richter_gall_fru_inap_2017.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
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
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-graph.pdf