Esta opcao destina-se preferencialmente a alunos que tenham frequentado MFP-I e MFP-II.

Nesta opcao pretende-se que os alunos tomem contacto com ferramentas que hoje existem no mercado de uso comercial e industrial, por exemplo, o Toolkit para VDM-SL da IFAD, o RAISE, o B-method etc.

Tratando-se de uma disciplina para finalistas, pretende-se desenvolver (ainda que no contexto dos Metodos Formais) um conjunto de `soft-skills' essenciais a qualquer tecnico de informatica dos dias de hoje. Exige-se organizacao e espirito cooperativo por parte dos alunos.