Nächste Seite:
Programming by contract
Aufwärts:
CASE und Projektmanagement Vorlesung
Vorherige Seite:
Was macht diese Funktion?
Spezifikation und Verifikation
Unterabschnitte
Programming by contract
Verifikation
Schlußregel: Implikation
Axiom: Zuweisung
Regel: Sequenz
Regel: Verzweigung
Regel: Schleifen
Invarianten finden?
Automatische Verifikation?
Verifikation als Wundermittel?
Aufgaben zum Testen und Verifizieren
Die richtigen Invarianten für Bubble-Sort
Partielle und totale Korrektheit
Termination: Beispiel
Termination ,,von selbst``
Termination für Ersetzungs-Systeme
Johannes Waldmann 2006-06-26