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

2000

398.
E. Börger and W. Schulte, "A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study" , IEEE Transactions on Software Engineering , vol. 26 , no. 9 , pp. 872-887 , 2000.
397.
W. Reif, J. Ruf, G. Schellhorn and T. Vollmer, "Do You Trust Your Model Checker?" in Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD2000), Austin, Texas, USA , Hunt Jr., W. A. and Johnson, S. D., Eds. Springer-Verlag , 2000.
396.
W. Reif, G. Schellhorn and A. Thums, "Fehlersuche in formalen Spezifikationen" , 2000.

1999

395.
T. Schwinn, D. Landes, T. Beil and H. Kempter, "Making Know How Transfer Work in a Purchaser-Supplier Setting by Deploying Software Inspection" in Proceedings of 6th European Conference on Software Quality, Vienna , Apr. 1999. pp. 418-428.
394.
D. Hutter, H. Mantel, G. Rock, W. Stephan, A. Wolpers, M. Balser, W. Reif, G. Schellhorn and K. Stenzel, "VSE: Controlling the Complexity in Formal Software Developments" in Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), Boppard , Springer-Verlag , 1999.