Módulos
Os conteúdos programáticos desta UCE são agrupados em 4 módulos temáticos e um de projecto integrador, de acordo com a seguinte estrutura:
Métodos Formais
(5 ECTS)
Análise e Teste de Software
(5 ECTS)
Cálculo de Sistemas de Informação
(5 ECTS)
Processos e Arquitecturas de Software
(5 ECTS)
Projecto Integrado
(10 ECTS)