SE-Projekte
im Sommersemester
Workshop Agile Software Entwicklung
Scrum lernen mit Lego

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
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
default
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
default
Heckler, A.; Hettler, R.; Hußmann, H.; Loeckx, J.; Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
LEX: a case study in development and validation of formal specifications
Dokument Nummer: A/06/96
Fachbereich Informatik, Universität Saarbrücken,
1996
default
Reif, Wolfgang
Software Verifikation: Stand und Perspektiven
Dokument Nummer: 96-06
Universität Ulm,
1996