Ziele:
Monitor-Invariante als Entwurfskonzept kennenlernen
in der Vorlesung:
- Invariante sind Garantieerklärungen!
- Am Beispiel des Puffers erläutern
nachlesen:
Andrews: 6.1, 6.2
Verständnisfragen:
- Begründen Sie, warum aus MI bei (*) MI an den
anderen Stellen folgt.
|