홈 > Term: samlede korrekthed
samlede korrekthed
Bevis for rigtigheden angivet en betegnelse, der angiver, at et program output påstande følger logisk set fra dens input påstande og behandlingstrin, og at desuden programmet ophører under alle i input betingelser.
- 품사: noun
- 분야/도메인: 컴퓨터; 소프트웨어
- 카테고리: Software engineering
- Organization: IEEE Computer Society
0
작성자
- Marius
-
(V.I.P) 60104 포인트 - 100% positive feedback
(Arhus, Denmark)
