Vorlesung Modellierung WS 2001/2002 - Folie Nr. 333

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 320-333 als PDF

Ziele:
Ausschnitt aus einem größeren Beispiel

in der Vorlesung:
Erläuterungen zur

  • Sprache Z,
  • zur gestellten Aufgabe,
  • zum Ausschnit aus der Spezifikation