OOPM 2015/16 - Objektorientierte Verträge

Inhalt

  • Vorbedingung
  • Nachbedingung
  • Invariante

Ressourcen

  • Folien zu OO-Verträgen: [.pdf]
  • Ein 101-Beitrag mit UML und OCL: 101wiki

Empfehlungen zur Nachbereitung

  • Ausprobieren des genannten 101-Beitrags