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

1995

12.
T. Vullinghs, D. Tuijnman and W. Schulte, "Lightweight GUIs for functional programming" in Proceedings of the 7th International Symposium PLILP95 , Hermenegildo, M. and Swierstra, S. D., Eds. Springer-Verlag , 1995.
11.
W. Reif, G. Schellhorn and K. Stenzel, "Interactive Correctness Proofs for Software Modules Using KIV" in COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA) , IEEE press , 1995.
10.
K. Achatz and W. Schulte, "Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms" , 1995.
9.
K. Achatz and W. Schulte, "Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms" in Mathematics of Program Construction , Möller, B., Eds. Springer-Verlag , 1995.
8.
P. Pepper, M. Wirsing, R. Betschko, M. Broy, S. Dick, K. Didrich, J. Faulhaber, W. Grieskamp, H. Hußmann, M. Mehlich and W. Reif, "A Method for the Development of Correct Software" in KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report , Broy, M. and Jähnichen, S., Eds. Springer-Verlag , 1995.