A Métodos Formaisé o termo usado para definir o processo de especificação de software fundamentado em linguagens formais.
B O modelo de cliente-servidor exige o uso de dois ou mais computadores, sendo um dele servidor.
C Qualidade de software é um conceito simples, análogo à qualidade de outros produtos.
D As métricas de qualidade de software definem que a sua qualidade é diretamente proporcional ao número de linhas de código do programa gerado.
E As métricas de qualidade de software apontam que o número de interações entre usuário final e o desenvolvedor é menor quando o software é de boa qualidade.