[ITS] IT terministandardi sõnastik

[et]
07.07.30

osaline õigsus

‣ Õigsuse tõestamine, mis näitab, et programmi * väljund * tõendid tulenevad loogiliselt ta sisend tõenditest ja töötlussammudest.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

[en]
07.07.30

partial correctness

‣ Correctness proving indicating that a program's * output assertions follow logically from its input assertions and processing steps.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

Püsilink