Modelos Formais

Modelos Formais

1. Baseado em técnicas matemáticas

2. Utilizado para SW críticos, que envolva riscos, por questões de segurança. Garantir a qualidade.

3. Especificado utilizando técnicas formais (Matemática), e após a prova da especificação é transformada em código

4. 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.

5. O Próprio processo garante que o programa faz exatamente o que foi especificado.(Sem precisar de análise)

6. Muito Caro.

7. Equipe muito capacitada

8. Excelente maneira para descobrir erros de especificação e apresentar a especificação do sistema de modo não ambíguo.