Compreende um conjunto de atividades que levam à especificação matemática formal do Software, fornecendo

mecanismos para a descoberta e a eliminação de muitos problemas, como a ambiguidade, incompletude e inconsistência. Servem como base para fazer a averiguação do código de programação com o objetivo de descobrir erros (que passariam despercebidos).
Assinale a alternativa correta referente ao nome deste Modelo de Processos.

a) Modelo Prescritivo.
b) Modelo de Processo Unificado.
c) Modelo Scrum.
d) Modelo Cascata.
e) Modelo de Métodos Formais

RESPONDER

Marquinhos está aguardando sua ajuda, Clique aqui para responder.