programmas korektuma pierādījums vārdkoptermins; joma: informātika
programmas korektuma pierādījums
Formāls matemātisks pierādījums tam, ka programmas semantika atbilst tām prasībām, kas ietvertas programmas specifikācijā.
Avoti: D3
Ā
Č
Ē
Ģ
Ī
Ķ
Ļ
Ņ
Ō
Ŗ
Š
Ū
Ž
Pavasara versija 2024
400 923 šķirkļi
Saistītie šķirkļi:
vārdu savienojums nozīmei pie programma
vārdu savienojums nozīmei pie korektums
vārdu savienojums nozīmei pie pierādījums