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

1995

17.
D. Hutter, B. Langenstein, F. Koob, W. Reif, C. Sengler, W. Stephan, M. Ullmann, M. Wittmann and A. Wolpers, "The VSE Development Method - A Way to Engineer High-Assurance Software Systems" in GI/ITG Tagung Formale Beschreibungstechniken für verteilte Systeme , Gotzheim, B., Eds. 1995.
16.
W. Reif, "The KIV-approach to Software Verification" in KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report , Broy, M. and Jähnichen, S., Eds. Springer-Verlag , 1995.
15.
W. Reif, G. Schellhorn and K. Stenzel, "Tactics in KIV" , Journal on Information Processing and Cybernetics , vol. 30 , 1995.
14.
W. Reif and K. Stenzel, "Reuse of Proofs in Software Verification" in Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (Montreal, Quebec) , Köhler, J., Eds. 1995.
13.
K. Achatz and W. Schulte, "Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists" , 1995.