Mindmap
Modelos Formais
Inhalt der Mindmap
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.
Informationen
- Beschreibung
- Der Nutzer hat seine Fachbereichs-Information gelöscht. Mindmap am Modelos Formais, erstellt von Gelöschter Nutzer am 22/09/2016.
- Erstellt von
- Gelöschter Nutzer · Sep 2016
- Aktualisiert
- 10 Jan 2017
- Aufrufe
- 37
- Verlauf
-
- Erstellt von PHILLIPE SANTOS · 19 Sep 2016
- Kopiert von PHILLIPE SANTOS · 22 Sep 2016
- Bewertung