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

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


default
Sedlmayr, M.; Knublauch, Holger; Rose, T.
Towards an Anaesthesiology Information System
Combined ESCTAIC / SCATA Meeting, Glasgow, UK
1999
default
Vullinghs, Ton; Schulte, Wolfram; Partsch, Helmuth
System Support for the Interactive Transformation of Functional Programs
Proceedings of the Software Transformation Systems 1999 (STS'99) Workshop, Los Angeles
1999
default
Reif, Wolfgang
Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
Künstliche Intelligenz, 12(4):42-48
Dezember 1998
default
Reif, Wolfgang
Software-Sicherheit mit formalen Methoden
Softwaretechnik-Trends, 18(3)
August 1998
default
Salamon, Peter; Sibani, Paolo; Gehring, Wolfgang; Whitney, R.; Frost, R.
Toward a taxonomy of NP-hard combinatorial optimization problems
Bulletin of the American Physical Society, 43(1)
März 1998