proof of correctness

 - proof of correctness
 - proof of correctness


(NBS) The use of techniques of mathematical logic to infer that a relation between program variables assumed true at program entry implies that another relation between program variables holds at program exit. protocol. achieving communication.
Source: www.adamssixsigma.com

Kennisconsult
Laatst bijgewerkt: 16-02-2016
Thema: kwaliteit
Dit begrip is gekoppeld aan de volgende thema(s):

Verder zoeken naar proof of correctness

Selecteer hieronder het begrip in de taal waarin u verder wil zoeken. Vervolgens verschijnen de beschikbare zoekvragen voor die taal.

     proof of correctness
     proof of correctness
Algemeen
(20)
Literatuur
(28)
Lessen
(9)
Gereedschap
(6)
Multimedia
(21)
De praktijk
(13)
Algemeen
(15)
Literatuur
(18)
Lessen
(7)
Gereedschap
(6)
Multimedia
(17)
De praktijk
(14)

Heeft u opmerkingen/suggesties omtrent dit begrip? Klik hier om deze door te geven.