[ITS] IT terministandardi sõnastik

[et]
07.07.27

õigsuse tõestamine

‣ Programmi semantika ja selle programmi spetsifikatsioonide vahelise kooskõla formaalne matemaatiline tõestamine.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

[en]
07.07.27

correctness proving

‣ A formal mathematical demonstration that the semantics of a program is consistent with the specifications of that program.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

Püsilink