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.