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

1998

59.
G. Schellhorn and W. Ahrendt, "The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV" in Automated Deduction - A Basis for Applications , Bibel, W. and Schmitt, P., Eds. Kluwer Academic Publishers , 1998 .
58.
W. Reif, G. Schellhorn, K. Stenzel and M. Balser, "Structured specifications and interactive proofs with KIV" in Automated Deduction - A Basis for Applications , Bibel, W. and Schmitt, P., Eds. Kluwer Academic Publishers , 1998 .
57.
F. Houdek, D. Ernst and T. Schwinn, "Prüfen von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment" , 1998.
56.
C. Greiner, H. Knublauch, M. Sedlmayr and T. Rose, "Representing and Processing Various Knowledge Types in an Anaesthesia Information System" in Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care (ESCTAIC), Villach, Austria , 1998.
55.
W. Ahrendt, B. Beckert, R. Hähnle, W. Menzel, W. Reif, G. Schellhorn and P. Schmitt, "Integrating Automated and Interactive Theorem Proving" in Automated Deduction - A Basis for Applications , Bibel, W. and Schmitt, P., Eds. Kluwer Academic Publishers , 1998 .