Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:korrektheit

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:korrektheit [2017/09/26 10:20] (aktuell)
Zeile 1: Zeile 1:
 +====== Korrektheit ======
 +//engl.:// **correctness**
 +===== Bedeutung ======
 +Die Spezifikation kommt üblicherweise aus dem Entwurf bzw. den Anforderungen.
 +
 +Zwei zentrale Eigenschaften:​
 +  * Programm liefert die richtigen Ergebnisse, wenn es terminiert (partielle Korrektheit).
 +  * Programm terminiert für die zulässigen Eingaben.Beide Eigenschaften zusammen ergeben totale Korrektheit.
 +
  
glossar/korrektheit.txt · Zuletzt geändert: 2017/09/26 10:20 (Externe Bearbeitung)