ID 897592 Banca UNEMAT Órgão CEPROMAT Ano 2012 Provas UNEMAT - 2012 - CEPROMAT - Analista de Tecnologia da Informação Disciplina Engenharia de Software Assuntos Desenvolvimento de Software Em relação ao desenvolvimento de software, assinale a alternativa correta. Alternativas Métodos Formais é o termo usado para definir o processo de especificação de software fundamentado em linguagens formais. O modelo de cliente-servidor exige o uso de dois ou mais computadores, sendo um dele servidor. Qualidade de software é um conceito simples, análogo à qualidade de outros produtos. 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. 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. Responder Comentários São técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares.Fonte: http://pt.wikipedia.org/wiki/M%C3%A9todos_formais Geralmente os clientes e servidores comunicam através de uma rede de computadores em computadores distintos, mas tanto o cliente quanto o servidor podem residir no mesmo computador.http://pt.wikipedia.org/wiki/Cliente-servidor