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

419.
K. Juhnke, M. Tichy and F. Houdek, "Challenges Concerning Test Case Specifications in Automotive Software Testing" in 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), Prague, Czech Republic , Aug. 2018.
418.
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.
417.
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.
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/gall_lpop2018.pdf
416.
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.
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_masonmarks-short-final.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.
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_rbac-chr-final.pdf