Vorlesung Modellierung WS 2001/2002 - Folie Nr. 313a

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 309-319 als PDF

Ziele:
Gebrauch der Zuweisungsregel üben

in der Vorlesung:

  • Erläuterung und Begründung der Beispiele;
  • Aus der gewünschten Nachbedingung die Vorbedingung herstellen.
  • Dann zeigen, dass die Vorbedingung wirklich gilt.