6396433
Description
Mind Map by PHILLIPE SANTOS, updated more than 1 year ago
|
Created by PHILLIPE SANTOS
about 8 years ago
|
|
Modelos Formais
- Baseado em técnicas matemáticas
- Utilizado para SW críticos, que envolva
riscos, por questões de segurança. Garantir a qualidade.
- Especificado utilizando técnicas formais
(Matemática), e após a prova da especificação é
transformada em código
- Após especificado, realiza uma prova matemática em
cima da especificação para garantir que o
processamento matemático está correto.
- Após aprovado, gera o código.
- Após aprovado, gera o código.
- O Próprio processo garante que o
programa faz exatamente o que foi
especificado.(Sem precisar de análise)
- Muito Caro.
- Equipe muito capacitada
- Excelente maneira para descobrir erros de especificação e
apresentar a especificação do sistema de modo não
ambíguo.
Want to create your own Mind Maps for free with GoConqr? Learn more.