Please enable JavaScript.
Coggle requires JavaScript to display documents.
Confiabilidade, Resumo, Complexidade
Essencial do Software, Provas de…
-
Resumo
-
Uma estrutura, capaz de facilitar provas de correção pelo tratamento de complexidade,
é uma ajuda para alcançar a confiabilidade
Complexidade afeta a confiabilidade, ao dificultar a prova de correção
-
-
-
-
Provas de Correções
Para Liskov, deriva casos testes relevantes
os quais confirma a confiabilidade
Para Parnas, ele só fala sobre isso: que a prova de correção é simplificada por estruturação que faz
uso de ocultação de informação.
-
-
-