Modellierung WS 2010/11 - Folie 722

Ziele:
Stellen als Bedingungen verstehen
in der Vorlesung:
- Erläuterungen zu dem Beispiel,
- Vor- und Nachbedingungen diskutieren,
- Eigenschaften diese Modells diskutieren
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 7.2
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 11.01.2011