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

403.
Constraint Handling Rules – Compilation, Execution, and Analysis. .... BOD , 2018.
https://books.google.de/books?id=WVdHDwAAQBAJ&hl=en&dq=isbn:374606905X
402.
N. Sharaf, S. Abdennadher and T. Frühwirth, "Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic" in Proceedings of the 22nd International Conference Information Visualisation (iV2018) , 22nd International Conference Information Visualisation (iV2018) , Salerno, Italy , July 2018 , 2018.

2017

401.
M. Gutbrod, J. Münch and M. Tichy, "How Do Software Startups Approach Experimentation? Empirical Results from a Qualitative Interview Study" in 18th International Conference on Product-Focused Software Process Improvement (Profes 2017) , Nov. 2017.
DOI: 10.1007/978-3-319-69926-4_21
400.
T. Frühwirth, "Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms" in Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854) , 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017) , Namur, Belgium , 10-12 October 2017 , Okt. 2017.
http://arxiv.org/abs/1706.07946
399.
S. Kögel, "Recommender system for model driven software development" in Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany , Sep. 2017.
DOI: 10.1145/3106237.3119874