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).
- Μέρος του λόγου: noun
- Κλάδος/Τομέας: Υπολογιστές; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Δημιουργός
- Branek.D
-
(V.I.P) 56814 points - 100% positive feedback
(Bratislava, Slovakia)
