Das mathematische Attribut Korrektheit (von korrekt = richtig) bezeichnet: ...
Gefunden auf
https://de.wikipedia.org/wiki/Korrektheit
[Informatik] - Unter Korrektheit versteht man in der Informatik die Eigenschaft eines Computerprogramms, einer Spezifikation zu genügen (siehe auch Verifikation). Spezialgebiete der Informatik, die sich mit dieser Eigenschaft befassen, sind die Formale Semantik und die Berechenbarkeitstheorie. Nicht abgedeckt vom Begriff K...
Gefunden auf
https://de.wikipedia.org/wiki/Korrektheit_(Informatik)
[Logik] - Für die Korrektheit eines Kalküls ist hinreichend, wenn jede einzelne Ableitungsregel schlüssig ist. In einem Korrekten Kalkül lässt sich keine Formel herleiten, die im gewählten Modell nicht wahr ist. ==Siehe auch== == Einzelnachweis == == Quellen== ...
Gefunden auf
https://de.wikipedia.org/wiki/Korrektheit_(Logik)
Korrektheit Qualitative Bewertung der Fehlerfreiheit von Daten und Programmen in Bezug auf die Funktion, die damit realisiert wird. Zu unterscheiden von Genauigkeit (Precision). Jede Abweichung des Verhaltens eines Programms von seiner Spezifikation gilt als Fehler, sofern der spezifizierte Anwendungsbereich eingehalten wurde.
Gefunden auf
https://www.enzyklo.de/Lokal/40006
Korrektheit Qualitätsmerkmal zur Beschreibung der Fehlerfreiheit von Systemen (Daten, Programme, Dokumentationen) in Bezug auf die vereinbarten Anforderungen. Jede Abweichung eines Systems (Programms) von seiner Spezifikation gilt somit als Fehler. Zu unterscheiden von Genauigkeit (Precision).
Gefunden auf
https://www.enzyklo.de/Lokal/40006
Der Grad der Übereinstimmung der Software mit seiner Spezifikation. [IEEE 610]
Gefunden auf
https://www.imbus.de/glossar/
Keine exakte Übereinkunft gefunden.
