Questão de Engenharia de Software — Qualidade de Software — CESPE / CEBRASPE 2010
Engenharia de SoftwareQualidade de Software
- Código
- ce315407
- Banca
- CESPE / CEBRASPE
- Órgão
- SERPRO
- Ano
- 2010
- Nível
- Superior
- Cargo
- CESPE - - Analista - Tecnologia da Informação
A utilização da regra de equivalência na demonstração de correção de um programa envolve a demonstração de que as duas triplas de Hoare diferentes são válidas.
- CCerto
- EErrado