6396433
Descripción
Mapa Mental por PHILLIPE SANTOS, actualizado hace más de 1 año
|
Creado por PHILLIPE SANTOS
hace alrededor de 8 años
|
|
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.
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.