Programa
Licenciatura em Engenharia Informática
Programa
Introdução Verificação e Validação - Planeamento da verificação e validação - Inspecções de Software - Análise estática automática - Verificação e métodos formais Testes de Software - Testes de Sistema - Testes de Componentes - Desenho de Caso de Testes - Automatização de Testes Evolução de Software - Dinâmica de evolução de um programa - Manutenção de Software - Processo de Evolução Gestão de Projectos de Software - Gestão de Pessoas - Estimativa de Custo de Software Gestão da Qualidade Processo de Desenvolvimento (melhoramento) - CMMI, ISO 9001 Engenharia de Software orientada a Serviços Desenvolvimento de Software orientado por aspectos