SE-lab

Startseite

Für Studenten

Für Unternehmen

Projekte

Forum

Bewerbung

Kontakt


SE

RWTH Aachen

Tutorial zur modularen modellbasierten Spezifikationen und Entwicklung verteilter interaktiver Systeme

Die Entwicklung verteilter interaktiver Systeme, wie sie heute beispielsweise im Zusammenhang mit softwareintensiven Systemen mit eingebetteter Software zu finden sind, stellt eine große Herausforderung für die Spezifikation, Entwicklung und Qualitätssicherung dar.
Mathematisch fundierte Ansätze sind erforderlich, die es erlauben, entsprechende Systeme mit mathematischer Präzision zu spezifizieren, geeignete Abstraktionen zu wählen, ihr Verhalten zu analysieren und schrittweise zu entwickeln und zu realisieren. Besondere Rollen spielen dabei Fragen der Architektur, der Schnittstellenbeschreibung und der Komposition, sowie der Verfeinerung. Präsentiert wird ein detailliert ausgearbeiteter Ansatz, der es erlaubt, Systeme auch in ihrer Zeitabhängigkeit und ihrem Verhalten vollständig zu spezifizieren, schrittweise zu verfeinern und zu realisieren.