Demonstração da coerência das metodologias com os objectivos

As diferentes técnicas lecionadas são introduzidas e ilustradas em diversas aplicações, dando-se ênfase às especificações mas também explorando diferentes cenários de modo a capacitar os alunos a abordarem problemas reais parecidos mas também a reconhecer possíveis novas situações e como as abordar.