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

1997

42.
G. Schellhorn and W. Ahrendt, "Reasoning about Abstract State Machines: The WAM Case Study" , Journal of Universal Computer Science , vol. 3 , no. 4 , pp. 377-413 , 1997. http://www.jucs.org/jucs_3_4/wam_case/ .
41.
K. Achatz and W. Schulte, "A Formal OO Method Inspired by Fusion and Object-Z" in ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK , Bowen, J. P. and Hinchey, M. G. and Till, D., Eds. Springer-Verlag , 1997.
40.
W. Schulte and M. Schwarz, "Realistische Aufgabenstellungen für das Softwaregrundpraktikum" in Software Engineering im Unterricht der Hochschulen (SEUH'97) , Forbig, P. and Riedewald, G., Eds. Teubner-Verlag , 1997.
39.
W. Reif, G. Schellhorn and K. Stenzel, "Proving System Correctness with KIV" in Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), Lille, France , Bidoit, M. and Dauchet, M., Eds. Springer-Verlag , 1997.
38.
G. Schellhorn and W. Reif, "Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers" , 1997.