[ITS] IT terministandardi sõnastik


Päring: osas

Leitud 1 artikkel


[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

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat Püsilink: 


© Eesti Keele Instituut    a-ü sõnastike koondleht     veebiliides    @ veebihaldur