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

407.
S. Getir, L. Grunske, A. van Hoorn, T. Kehrer, Y. Noller and M. Tichy, "Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models" , Journal of Systems and Software , Apr. 2018.
DOI:10.1016/j.jss.2018.04.001
Datei:https://www.journals.elsevier.com/journal-of-systems-and-software/
406.
E. Börger and A. Raschke, Modeling Companion for Software Practitioners. .... Springer-Verlag Berlin Heidelberg , Apr. 2018.
DOI:10.1007/978-3-662-56641-1
Datei:https://www.springer.com/de/book/9783662566398
405.
K. Juhnke, M. Tichy and F. Houdek, "Quality Indicators for Automotive Test Case Specifications" in 1st Workshop on Software Engineering for Applied Embedded Real-Time Systems (SEERTS 2018), Ulm, Germany , Mä. 2018.
Datei:http://ceur-ws.org/Vol-2066/seerts2018paper02.pdf
404.
Constraint Handling Rules – Compilation, Execution, and Analysis. .... BOD , 2018.
ISBN:978-3746069050
Datei:https://books.google.de/books?id=WVdHDwAAQBAJ&hl=en&dq=isbn:374606905X
403.
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.