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
- อุตสาหกรรม/ขอบเขต: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
ผู้สร้าง
- Branek.D
-
(V.I.P) 56814 points - 100% positive feedback
(Bratislava, Slovakia)
