Modellierung WS 2010/11 - Folie 457

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
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010