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
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
default
Laitenberger, O.; Beil, T.; Schwinn, Thilo
An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications
Empirical Software Engineering, 7:345-374
2002
default
Rose, T.; Fünffinger, M.; Knublauch, Holger; Rupprecht, C.
Prozessorientiertes Wissensmanagement
Künstliche Intelligenz, 16(1):19-24
2002