Questão
ID 1214670Disciplina: Tecnologia da Informação
Assunto: Modelo de Métodos Formais
Ano: 2021 Banca: CESPE CEBRASPE - Centro de Seleção e de Promoção de Eventos UnB Órgão: Serviço Federal de Processamento de Dados
A respeito de processo orientado a reúso e ciclos de vida, julgue os itens 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.