Vorlesung Modellierung WS 2001/2002 - Folie Nr. 313

Nächste Folie

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

Ziele:
Zuweisungsregel verstehen

in der Vorlesung:

  • Substitution erläutern
  • Vorbedingung aus der Nachbedingung rückwärts konstruieren: Was will ich zeigen?
  • Beispiele von Folie Mod-313a erläutern