Compreende um conjunto de atividades que levam à especificação...

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çãocom 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