[ITS] IT terministandardi sõnastik


Päring: osas

Leitud 1 artikkel


[et]
07.07.31

täielik õigsus

Õigsuse tõestamine, mis näitab, et programmi * väljund * tõendid tulenevad loogiliselt ta sisend tõenditest ja töötlussammudest ning et programm kõigi spetsifitseeritud sisendtingimuste korral lõpetab töö.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

[en]
07.07.31

total correctness

Correctness proving indicating that a program's * output assertions follow logically from its input assertions and processing steps, and that, in addition, the program terminates under all specified input conditions.
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