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

1993

4.
E. A. Boiten, A. M. Geerling and H. A. Partsch, "Transformational derivation of (parallel) programs using skeletons" in Proceedings of the ERCIM Workshop on Development and Transformation of Programs, INRIA, Nancy , Nov. 1993.
3.
H. Partsch, "Formal Problem Specification on an Algebraic Basis" in Formal Program Development: IFIP TC2 State-of-the-Art Report , Möller, B. and Partsch, H. and Schuman, S., Eds. Springer-Verlag , 1993 , pp. 183-224.
2.
Formal Program Development: IFIP TC2 State-of-the-Art Report. .... Springer-Verlag , 1993.
1.
H. Partsch, "Some Experiments in Transformaing Towards Parallel Executability" in Parallel Algorithm Derviation and Program Transformation , Paige, R. and Reif, J. and Wachters, R., Eds. Kluwer Academic Publishers , 1993 .