Vorlesung Modellierung WS 2001/2002 - Folie Nr. 303

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 301-308 als PDF

Ziele:
Einfaches Beispiel für verknüpfte Aussagen

in der Vorlesung:

  • Begründung der Spezifikation
  • Erläuterung der Unfallursache

Verständnisfragen:
Schlagen Sie eine Korrektur der Spezifikation vor.