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).
- Del af tale: noun
- Branche/domæne: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Ophavsmand
- Branek.D
-
(V.I.P) 56814 points - 100% positive feedback
(Bratislava, Slovakia)
