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

405.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Quality Indicators for Automotive Test Case Specifications
1st Workshop on Software Engineering for Applied Embedded Real-Time Systems (SEERTS 2018), Ulm, Germany
März 2018
Datei:http://ceur-ws.org/Vol-2066/seerts2018paper02.pdf
404.
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
In Fabio Fioravanti and John P. Gallagher, Editor, Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)Band10855
LOPSTR 2017
Namur, Belgium
In Fabio Fioravanti and John P. Gallagher, Editor
Herausgeber: Springer
2018
Datei:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-justifications-lopstr-lncs-0.pdf
403.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic
Proceedings of the 22nd International Conference Information Visualisation (iV2018)
22nd International Conference Information Visualisation (iV2018)
Salerno, Italy
July 2018
2018
402.

Constraint Handling Rules – Compilation, Execution, and Analysis
In Thom Frühwirth and Frank Raiser, Editor
Herausgeber: BOD
2018
ISBN:978-3746069050
Datei:https://books.google.de/books?id=WVdHDwAAQBAJ&hl=en&dq=isbn:374606905X

2017

401.
Gutbrod, Matthias; Münch, Jürgen; Tichy, Matthias
How Do Software Startups Approach Experimentation? Empirical Results from a Qualitative Interview Study
18th International Conference on Product-Focused Software Process Improvement (Profes 2017)
November 2017
DOI:10.1007/978-3-319-69926-4_21