OOPM 2015/16 - Vor- und Nachbedingungen

Skript zur Vorlesung

Vor- und Nachbedingungen: [.pdf]

Das Skript besteht dieses Mal aus relativ ausführlichen Folien, welche so auch in der Vorlesung zur Anwendung kommen.

Videomitschnitt: [.mp4]

Fragestellungen aus der Vorlesung

  • Wie kann man das Ein-/Ausgabeverhalten (über Variablen) eines Algorithmus beschreiben?
  • Wie können diese Beschreibungen über- oder unterspezifiziert sein?

Empfehlungen zur Nachbereitung

  • Spezifikation von Vor- und Nachbedingungen für weitere Algorithmen aus der Vorlesung (z.B. ggT)