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

2018

426.
T. Frühwirth, The Computer Art of Mason's Mark Design with VanDeGraphGenerator. .... BOD , Okt. 2018.
ISBN:9783752842975
Datei:https://books.google.de/books?id=w3hoDwAAQBAJ
425.
S. Wagner, M. Tichy, M. Felderer and S. Leue, "Verlässliche Software im 21. Jahrhundert" , Informatik Spektrum , Sep. 2018.
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
Datei:https://arxiv.org/abs/1702.01606
423.
T. Frühwirth and D. Gall, "Exploring Parallel Execution Strategies for Constraint Handling Rules" , 26th International Workshop on Functional and Logic Programming, Frankfurt am Main, Germany , Sep. 2018.
Datei:https://arxiv.org/abs/1808.07788
422.
T. Frühwirth, "Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Designs" in Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018) , 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018) , Luxembourg , September 2018 , Sep. 2018.
Datei:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/masonmarks-final0.pdf