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


default
Omasreiter, H.; Tavakoli Kolagari, Ramin
Ziel- und kundenorientierte Anforderungserstellung mit Abstraktionsebenen als zentraler Erfolgsfaktor bei der Entwicklung von Kfz-Software
Konferenzband der Konferenzen CONQUEST, Automation Days und EUROMOTIVE , Seite 229-239.
2003
default
Schlumpberger, C.; Ernst, Dietmar
Räumlich verteilte Software-Entwicklung unter experimenteller Betrachtung verteilter Inspektionen - Ein Erfahrungsbericht
In Siedersleben, J. and Weber-Wulff, D., Editor, Software-Engineering im Unterricht der Hochschulen, SEUH 8, Berlin , Seite 111-120.
2003
default
Schneider, Kurt; von Hunnius, Jan-Peter
Effective Experience Repositories in Software-Engineering
25th International Conference on Software Engineering (ICSE), Portland
2003
default
Houdek, Frank; Schwinn, Thilo; Ernst, Dietmar
Defect Detection for Executable Specifications: An Experiment
International Journal of Software Engineering and Knowledge Engineering, 12(6):637-655
Dezember 2002
default
Guttmann, Walter
Deriving an Applicative Heapsort Algorithm
Dokument Nummer: UIB-2002-02
Universität Ulm,
Dezember 2002