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
Frühwirth, Thom
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs
In Di Pierro, A. and Wiklicky, H., Editor, Quantitative Aspects of Programming Laguages, QAPL'01 Band 59 aus Electronic Notes in Theoretical Computer Science , Seite 185-206.
November 2002
default
Frühwirth, Thom; Di Pierro, A.; Wiklicky, H.
Probabilistic Constraint Handling Rules
In Comini, M. and Falaschi, M., Editor, 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002 Band 76 aus Electronic Notes in Theoretical Computer Science , Seite 115-130.
November 2002
default
Guttmann, Walter; Partsch, Helmuth; Schulte, Wolfram; Vullinghs, Ton
Tool Support for the Interactive Derivation of Formally Correct Functional Programs (Extended Abstract)
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor, FM-TOOLS 2002: The Fifth Workshop on Tools for System Design and Verification , Seite 15-20.
Herausgeber: Institut für Informatik, Universität Augsburg,
Juni 2002
default
Gehring, Wolfgang
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Herausgeber: Universitätsverlag Ulm,
zweite, überarbeitete und erweiterte Edition
April 2002
default
Schonger, S.; Pulvermüller, E.; Sarstedt, Stefan
Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees
Proceedings of the 2nd German GI Workshop on Aspect-Oriented Software Development aus Technical Report No. IAI-TR-2002-1 , Seite 59-64.
Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik 3
Februar 2002