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

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
The KIV-approach to Software Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report Band 1009 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag,
1995
default
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Interactive Correctness Proofs for Software Modules Using KIV
COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA)
Herausgeber: IEEE press,
1995
default
Reif, Wolfgang; Stenzel, Kurt
Reuse of Proofs in Software Verification
In Köhler, J., Editor, Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (Montreal, Quebec)
1995
default
Vullinghs, Ton; Tuijnman, Daniël; Schulte, Wolfram
Lightweight GUIs for functional programming
In Hermenegildo, M. and Swierstra, S. D., Editor, Proceedings of the 7th International Symposium PLILP95 Band 982 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag,
1995
default
Achatz, Klaus; Schulte, Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Dokument Nummer: 95-05
Universität Ulm,
1995