Demonstração da coerência do programa com os objectivos

O programa apresenta a teoria e a prática necessária para o uso eficaz dos métodos e ferramentas existentes para a análise de software. Espera-se que os alunos ganhem experiência na utilização de diferentes ferramentas, contribuindo para efetivar as capacidades na análise de software.