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

1996

29.
T. Vullinghs, W. Schulte and T. Schwinn, "TkGofer: A Functional GUI Library" in Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST'96), München, Deutschland , Wirsing, M. and Nivat, M., Eds. Springer-Verlag , 1996. pp. 621-624.
28.
T. Vullinghs, W. Schulte and T. Schwinn, "The Implementation of a Functional GUI Library" in Proceedings of the 2nd Italian Workshop on Functional Programming (FUN'96), Pisa, Italy , 1996.
27.
T. Vullinghs, W. Schulte and T. Schwinn, "The Design of a Functional GUI Library Using Constructor Classes" in Proceedings of the 2nd International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia , Bjørner, D. and Broy, M. and Pottosin, I., Eds. Springer-Verlag , 1996. pp. 398-408.
26.
A. Heckler, R. Hettler, H. Hußmann, J. Loeckx, W. Reif, G. Schellhorn and K. Stenzel, "LEX: a case study in development and validation of formal specifications" , 1996.
25.
W. Reif and K. Stenzel, "Reuse of Proofs in Software Verification" , SADHANA: Academy Proceedings in Engineering Sciences , vol. 21 , no. 2 , 1996.