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
Abdennadher, Slim; Frühwirth, Thom
Integration and Optimization of Rule-based Constraint Solvers
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03)
2003
default
Frühwirth, Thom; Holzbaur, Christian
Source-to-Source Transformation for a Class of Expressive Rules
In Buccafurri, F., Editor, Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003) , Seite 386-397.
2003
default
Knublauch, Holger; Rose, T.
Tool-Supported Process Analysis and Design for the Development of Multi-Agent Systems
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor, Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy Band 2585 aus Lecture Notes in Computer Science , Seite 186-197.
Herausgeber: Springer-Verlag,
2003
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