Home > Term: correção parcial
correção parcial
Prova de correção, uma designação indicando que declarações de saída de um programa seguem logicamente de suas afirmações de entrada e etapas de processamento.
- Kalbos dalis: noun
- Pramonės šaka / sritis: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Kūrėjas
- Azinhais
- 100% positive feedback
(Lisbon, Portugal)