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

419.
Frühwirth, Thom
Security Policies in Constraint Handling Rules
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
Juli 2018
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_rbac-chr-final.pdf
418.
Frühwirth, Thom
A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
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
Juli 2018
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/fru_masonmarks-short-final.pdf
417.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
CHRvis: Syntax and Semantics
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
34th International Conference on Logic Programming (ICLP 2018)
Oxford, UK
July 2018
Juli 2018
416.
Gall, Daniel
Confluence Analysis of Cognitive Models with Constraint Handling Rules
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
Juli 2018
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/gall/publications/gall_lpop2018.pdf
415.
Gutbrod, Matthias; Münch, Jürgen; Tichy, Matthias
The Business Experiments Navigator (BEN) - An Approach for Validating Business Models with Experimentation
24th ICE/IEEE International Technology Management Conference (ICE 2018), Stuttgart, Germany
Juni 2018
Datei:http://www.ice-conference.org/Home.aspx