5 relações: Engenharia de software, ISO/IEC 9126, Qualidade de software, Software, Verificação formal.
Engenharia de software
acessodata.
Novo!!: Teste de recuperação e Engenharia de software · Veja mais »
ISO/IEC 9126
ISO/IEC 9126 é uma norma ISO para qualidade de produto de software.
Novo!!: Teste de recuperação e ISO/IEC 9126 · Veja mais »
Qualidade de software
O termo Qualidade possui diferentes definições na literatura.
Novo!!: Teste de recuperação e Qualidade de software · Veja mais »
Software
OpenOffice.org ''writer'' Software é um termo técnico que foi traduzido para a língua portuguesa como suporte lógico e trata-se de uma sequência de instruções a serem seguidas e/ou executadas, na manipulação, redirecionamento ou modificação de um dado (informação) ou acontecimento.
Novo!!: Teste de recuperação e Software · Veja mais »
Verificação formal
Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais.
Novo!!: Teste de recuperação e Verificação formal · Veja mais »