zum Inhalt springen
SE 1 - WS 2014/15
Benutzer-Werkzeuge
Anmelden
Webseiten-Werkzeuge
Werkzeuge
Ältere Versionen
Links hierher
Medien-Manager
Übersicht
Anmelden
Medien-Manager
Übersicht
Zuletzt angesehen:
•
Annotationsbeweis
Seitenleiste
Menü
Software-Entwicklung I
Informationen zur Vorlesung
Materialien zur Vorlesung
Übungsorganisation
Material von Tutoren
Seiten der Übungsgruppen
Glossar
/
Glossar (English)
glossar:annotationsbeweis
Annotationsbeweis
engl.:
proof outline
Bedeutung
Annotiere das Programm so mit Zusicherungen, dass:
vor und hinter jeder Anweisung mindestens eine Zusicherung steht und
die Hoare-Regeln erfüllt sind.
glossar/annotationsbeweis.txt
· Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)
Seiten-Werkzeuge
Ältere Versionen
Links hierher
Nach oben