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

408.
R. Groner, M. Tichy and S. Becker, "Towards Performance Engineering of Model Transformation" in 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin, Germany , Apr. 2018.
DOI: 10.1145/3185768.3186305
https://doi.org/10.1145/3185768.3186305
407.
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
https://www.springer.com/de/book/9783662566398
406.
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
https://www.journals.elsevier.com/journal-of-systems-and-software/
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.
http://ceur-ws.org/Vol-2066/seerts2018paper02.pdf
404.
T. Frühwirth, "Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms" in Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017) , LOPSTR 2017 , Namur, Belgium , Fabio Fioravanti and John P. Gallagher, Eds. Springer , 2018.
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-justifications-lopstr-lncs-0.pdf