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

1999

393.
M. Sedlmayr, H. Knublauch and T. Rose, "Towards an Anaesthesiology Information System" in Combined ESCTAIC / SCATA Meeting, Glasgow, UK , 1999.
392.
H. Knublauch, "Three Patterns for the Implementation of Ontologies in Java" in OOPSLA'99 Metadata and Active Object-Model Pattern Mining Workshop, Denver, CO, USA , 1999.
391.
T. Vullinghs, W. Schulte and H. Partsch, "System Support for the Interactive Transformation of Functional Programs" in Proceedings of the Software Transformation Systems 1999 (STS'99) Workshop, Los Angeles , 1999.
390.
G. Rock, W. Stephan, A. Wolpers, M. Balser, W. Reif and S. Scheer, "Structured Formal Development in VSE II: The Robertino Case Study" in Sicherheit und Zuverlässigkeit software-basierter Systeme, ITSec , Saglietti, F. and Goerigk, W., Eds. 1999.
389.
R. Hähnle, W. Menzel, W. Reif and P. Schmitt, "Special Issue on Integration of Deduction Systems" , Journal of Universal Computer Science , vol. 5 , no. 3 , 1999.