Vorlesung Modellierung WS 2001/2002 - Folie Nr. 616

Ziele:
Stellen als Bedingungen verstehen

in der Vorlesung:

• Erläuterungen zu dem Beispiel,
• Vor- und Nachbedingungen diskutieren,
• Eigenschaften diese Modells diskutieren

nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 2.5