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
Reif, Wolfgang; Stenzel, Kurt
Reuse of Proofs in Software Verification
SADHANA: Academy Proceedings in Engineering Sciences, 21(2)
1996
default
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
The Design of a Functional GUI Library Using Constructor Classes
In Bjørner, D. and Broy, M. and Pottosin, I., Editor, Proceedings of the 2nd International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia Band 1181 aus Lecture Notes in Computer Science , Seite 398-408.
Herausgeber: Springer-Verlag,
1996
default
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
TkGofer: A Functional GUI Library
In Wirsing, M. and Nivat, M., Editor, Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST'96), München, Deutschland Band 1101 aus Lecture Notes in Computer Science , Seite 621-624.
Herausgeber: Springer-Verlag,
1996
default
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
The Implementation of a Functional GUI Library
Proceedings of the 2nd Italian Workshop on Functional Programming (FUN'96), Pisa, Italy
1996
default
Achatz, Klaus; Partsch, Helmuth
From Descriptive Specifications to Operational ones: A Powerful Transformation Rule, its Applications and Variants
Dokument Nummer: 96-13
Universität Ulm,
1996