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

Anfahrtsskizze

Aktuelle Publikationen

1997

34.
Achatz, Klaus; Partsch, Helmuth
A Powerful Transformation Rule, its Applications and Variants
Proceedings of the 50th meeting of the IFIP Working Conference on Algorithmic Language and Calculi and IFIP Working Group 2.1, Le Bischenberg, France
1997
33.
Achatz, Klaus; Schulte, Wolfram
A Formal OO Method Inspired by Fusion and Object-Z
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor, ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UKBand1212ausLecture Notes in Computer Science
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor
Herausgeber: Springer-Verlag
1997

1996

32.
Reif, Wolfgang
Software Verifikation: Stand und Perspektiven
Dokument Nummer: 96-06
Universität Ulm
1996
31.
Schellhorn, Gerhard; Ahrendt, W.
Verification of a Prolog Compiler - First Steps with KIV
Dokument Nummer: 96-05
Universität Ulm
1996
30.
Biechele, B.; Ernst, Dietmar; Houdek, Frank; Schmid, Joachim; Schulte, Wolfram
Untersuchung verschiedener SA/RT-Ansätze für die Modellierung eingebetteter Systeme
Dokument Nummer: 96-09
Universität Ulm
1996