Flashcard FC370868
Que modelo de processo aplica especificação matemática e verificação formal, sendo classificado como especializado?
Modelos de Ciclo de Vida e Metodologias de Desenvolvimento
FGV · 2024
Que modelo de processo aplica especificação matemática e verificação formal, sendo classificado como especializado?
Mostrar resposta e comentário
Resposta
Métodos formais.Explicação:
Aplicam abordagem matemática rigorosa à especificação e verificação do software.
Baseiam-se em especificações matemáticas (invariantes, pré/postcondições, autômatos, lógicas temporais) e em provas ou model checking para validar propriedades.
São classificados como especializados por exigir alta confiança e maior esforço, sendo indicados para sistemas críticos.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/360216
Conteúdo do catálogo FC Concursos · Atualizado em