Mestrado Bolonha em Matemática e Aplicações e Computação

Esta UC pretende cobrir diversos tópicos relacionados com o desenvolvimento de software robusto, incluindo teste, detecção de erros, verificação e metodologias para a construção de código robusto. O foco será nas metodologias mais recentes que permitem o desenvolvimento de software robusto a custo moderado. Pretende-se que esta UC efectue a ligação entre os fundamentos teóricos e a aplicação prática dos diversos tópicos cobertos.