Workshop Agile Software Entwicklung
Scrum lernen mit Lego
Ringvorlesung
Aktuelle Themen der Softwaretechnik

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; Schellhorn, Gerhard; Stenzel, Kurt
KIV 3.0: Concepts and applications
Fachbereich Informatik, Universität Bremen,
1996
default
Schellhorn, Gerhard; Ahrendt, W.
Verification of a Prolog Compiler - First Steps with KIV
Dokument Nummer: 96-05
Universität Ulm,
1996
default
Stenzel, Kurt
Pilotanwendungen mit KIV
Dokument Nummer: FI96/06
Fakultät für Informatik, Technische Universität Dresden,
1996
default
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
An Introduction into TkGofer
Dokument Nummer: 96-03
Universität Ulm,
1996
default
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Tactics in KIV
Journal on Information Processing and Cybernetics, 30
1995