Modellierung WS 2011/12 - Folie 451
Ziele:
Bedeutung der Verifikation erkennen
in der Vorlesung:
- Ziele der Verifikation erläutern
- Man wählt die Aussagen, die man über den Algorithmus beweisen will, z.B. seine Spezifikation
- Nicht: "Der Algorithmus wird bewiesen."
nachlesen:
- C.A.R. Hoare: An Axiomatic Basis for Computer Programming, CACM 12(10), 1969
- D. Gries: The Science of Programming, Springer-Verlag, 1981
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 28.11.2011