Browsing Technical and Research Reports by Subject "Verificacao : Software"
Now showing items 1-2 of 2
-
Um estudo de tecnicas de validacao e de verificacao de produtos de software
(CPGCC da UFRGS, 1991) [Technical and Research Report]No desenvolvimento de um produto de software devem ser efetuadas avaliações, com o objetivo de validá-lo e de verificá-lo, dando assim origem a produtos mais confiáveis. Este trabalho sttua a validação e a verificação no ... -
Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
(Universitat Stuttgart, 1993) [Technical and Research Report]Resumo não disponível