OOPM 2016/17 - Objektorientierte Verträge

Folien zur Vorlesung

[.pdf]

Inhalt

  • Vorbedingungen von Methoden
  • Nachbedingungen von Methoden
  • Invarianten von Klassen
  • Substitutionsprinzip

Ausblick

Es gibt auch Verträge mit UML. Diese basieren auf OCL.

Siehe: [.html]