Mapa mental
Modelos Formais
Conteúdo do mapa
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.
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.
Informações
- Descrição
- O usuário eliminou as informações de disciplina Mapa Mental sobre Modelos Formais, criado por Usuário eliminado em 22-09-2016.
- Criado por
- Usuário eliminado · set 2016
- Atualizado
- 10 jan 2017
- Visualizações
- 37
- Histórico
-
- Criado por PHILLIPE SANTOS · 19 set 2016
- Copiado por PHILLIPE SANTOS · 22 set 2016
- Avaliação