///
A respeito de processo orientado a reúso e ciclos de vida, julgue o item a seguir.
No modelo formal, as etapas do desenvolvimento do
software incluem especificação formal para definição de
requisitos, refinamento para concepção de projeto e prova
para a verificação.