Em relação ao desenvolvimento de software, assinale a alternativa correta.

O modelo de cliente-servidor exige o uso de dois ou mais computadores, sendo um dele servidor.

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.

Métodos Formais é o termo usado para definir o processo de especificação de software fundamentado em linguagens formais.

Qualidade de software é um conceito simples, análogo à qualidade de outros produtos.

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.