Home > Term: dôkaz správnosti
dôkaz správnosti
(1) Formálne technika používaná matematicky dokázať, že počítačový program spĺňa jeho zadaný requirements.~(2) dôkaz, ktorý vyplýva z uplatňovania technika (1).
- Kalbos dalis: noun
- Pramonės šaka / sritis: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Kūrėjas
- Branek.D
-
(V.I.P) 56814 points - 100% positive feedback
(Bratislava, Slovakia)
