Home > Term: totala korrekthet
totala korrekthet
Bevis för riktigheten angivna en beteckning som anger att ett program utdata påståenden följer logiskt från dess indata påståenden och behandling steg och att dessutom programmet avslutas under alla ingående villkor.
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
ผู้สร้าง
- Ingvar.Esak
- 100% positive feedback