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

1995

9.
Achatz, Klaus; Schulte, Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
In Möller, B., Editor, Mathematics of Program ConstructionBand947ausLecture Notes in Computer Science
In Möller, B., Editor
Herausgeber: Springer-Verlag
1995
8.
Pepper, Peter; Wirsing, M.; Betschko, R.; Broy, Manfred; Dick, S.; Didrich, K.; Faulhaber, J.; Grieskamp, W.; Hußmann, H.; Mehlich, M.; Reif, Wolfgang
A Method for the Development of Correct Software
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: Springer-Verlag
1995

1994

7.
Achatz, Klaus; Schulte, Wolfram
Eine Einführung in die transformationelle Entwicklung von SIMD Programmen
39. internationales wissenschaftliches Kolloquium, Technische Universität Ilmenau
1994
6.
Schulte, Wolfram; Vullinghs, Ton
Linking Reactive Software to the X-Window System
Dokument Nummer: 94-14
Universität Ulm
1994
5.
Vullinghs, Ton
Transformational Program Development Using CIPS
In Buth, B. and Berghammer, R., Editor, Systems for Computer-Aided Specification, Development and Verification
Christian-Albrechts-Universität Kiel
In Buth, B. and Berghammer, R., Editor
1994