الصفحة الرئيسية > 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 engineering
- Organization: IEEE Computer Society
0
المنشئ
- Branek.D
-
(V.I.P) 56814 النقاط - 100% positive feedback
(Bratislava, Slovakia)
