6396433
Descrição
Mapa Mental por PHILLIPE SANTOS, atualizado more than 1 year ago
|
Criado por PHILLIPE SANTOS
aproximadamente 8 anos atrás
|
|
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.
Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.