6396433
Beschreibung
Mindmap von PHILLIPE SANTOS, aktualisiert more than 1 year ago
|
Erstellt von PHILLIPE SANTOS
vor etwa 8 Jahre
|
|
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.
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.