Estudo do desenvolvimento de sistemas de software
baseado em Métodos Formais,
com ênfase para as técnicas de especificação baseadas em
modelos da matemática discreta,
que conduzem ao cálculo de sistemas de informação e à garantia de correcção.
Funcionamento da Disciplina
A informação detalhada sobre esta disciplina
(incluindo avisos e sumários) encontra-se organizada
por anos lectivos, conforme se segue:
