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

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 .