Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Ringvorlesung im SS 2004

Donnerstag, 3. Juni 2004; 15-17 Uhr
Haus 3, Raum 3.001 in der Rudower Chaussee 25

Das Institut für Informatik lädt zur Ringvorlesung ein:

Es spricht

Gregor Engels
Universität Paderborn


zum Thema:

Qualität von Software-Modellen


Vortragsfolien: PDF

Model-Driven Engineering (MDE) und Model-Driven Architecture (MDA) sind zwei der zurzeit heftig diskutierten Schlagworte in der Softwaretechnik. Kerngedanke ist hierbei, dass Softwaremodelle eine wesentliche Rolle im Softwareentwicklungsprozess spielen. Damit hat sich die Frage nach der "Qualität von Software" auf die Ebene der "Qualität von Softwaremodellen" ausgeweitet.

In der (Ring-)Vorlesung wird der Qualitätsbegriff von Softwaremodellen präzisiert. Danach werden verschiedene grundsätzliche Ansätze diskutiert, um die Qualität von Softwaremodellen im Erstellungsprozess zu erhöhen bzw. im Nachhinein zu analysieren. Hierzu gehören die Verwendung von

  • domänenspezifischen Modellierungssprachen (z.B. für Multimedia-Anwendungen)
  • der Einsatz von domänen-spezifischen Mustern bei der Modellierung
  • der Einsatz von Modell Checking-Techniken zur Analyse von Software-modellen

Adresse:
Humboldt-Universität zu Berlin
Institut für Informatik
Haus 3, Raum 001
Rudower Chaussee 25/Ecke Magnusstr.
12489 Berlin