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

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
https://arxiv.org/abs/1702.01606
423.
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.
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/masonmarks-final0.pdf
422.
F. Nogatz, T. Frühwirth and D. Seipel, "CHR.js: A CHR Implementation in JavaScript " in Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 2018 , 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018) , Luxembourg , September 2018 , Sep. 2018.
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/Nogatz-draft.pdf
421.
T. Frühwirth, " Implementation of Logical Retraction in Constraint Handling Rules with Justifications (full version)" in Declarative Programming and Knowledge Management, Proceedings of the Conference on Declarative Programming DECLARE 2017, Revised Selected Papers , DECLARE 2017 , Würzburg , 17.-22.09.2017 , Dietmar Seipel, Michael Hanus, Salvador Abreu, Eds. Springer , Sep. 2018. pp. 37--52.
DOI: 10.1007/978-3-030-00801-7_3
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-just-impl-final-full.pdf
420.
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.
https://arxiv.org/abs/1808.07788