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

418.
T. Frühwirth, "A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks" in Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018) , Workshop on Logic and Practice of Programming (LPoP 2018) , Oxford, UK , 2018-07-18 , Jul. 2018.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_masonmarks-short-final.pdf
417.
N. Sharaf, S. Abdennadher and T. Frühwirth, "CHRvis: Syntax and Semantics" in Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018) , 34th International Conference on Logic Programming (ICLP 2018) , Oxford, UK , July 2018 , Jul. 2018.
416.
D. Gall, "Confluence Analysis of Cognitive Models with Constraint Handling Rules " in Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018) , Workshop on Logic and Practice of Programming (LPoP 2018) , Oxford, UK , 2018-07-18 , Jul. 2018.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/gall_lpop2018.pdf
415.
T. Frühwirth, "Security Policies in Constraint Handling Rules" in Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018) , Workshop on Logic and Practice of Programming (LPoP 2018) , Oxford, UK , 2018-07-18 , Jul. 2018.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_rbac-chr-final.pdf
414.
M. Gutbrod, J. Münch and M. Tichy, "The Business Experiments Navigator (BEN) - An Approach for Validating Business Models with Experimentation" in 24th ICE/IEEE International Technology Management Conference (ICE 2018), Stuttgart, Germany , Jun. 2018.
http://www.ice-conference.org/Home.aspx