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

Ringvorlesung im SS 2004

Donnerstag, 6. Mai 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

Manfred Broy
Fakultät für Informatik
Technische Universität München


zum Thema:

Modulare hierarchische Modellierung im Softwareentwicklungsprozess


Vortragsfolien: PDF

Die Entwicklung komplexer multifunktionaler Systeme erfordert ein strukturiertes Vorgehen und angemessene Techniken zur präzisen Beschreibung von Anforderungen, der Architektur des Systems, der Schnittstellen und schließlich der Implementierung. Dazu ist ein Baukasten von Modellen erforderlich. Besonderer Schwerpunkt liegt auf den Themen

  • Schnittstellen
  • Hierarchischen Architekturen durch Komposition/Dekomposition
  • Realisierung durch Zustandsmaschinen
  • Verfeinerung
  • Wechsel der Abstraktionsebene

Der Baukasten der Modellierung entspricht einer logisch-mathematischen Theorie mit zahlreichen Theoremen, die eine Basis für eine wissenschaftlich fundierte, werkzeugunterstützbare Vorgehensweise liefert. Es wird gezeigt, wie – ausgehend von unstrukturierten Anforderungen – auf Basis von Nutzungsfällen Einzelnutzerfunktionen beschrieben werden können und mittels standardisierter Relationen zueinander in Beziehung gesetzt werden können. Dies erleichtert auch den Übergang zum Entwurf, aspektorientierte Sichten auf die Systemarchitektur und die Verfolgung der Anforderungen.

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