Descrição:

Pretende-se que o aluno fique a conhecer as principais técnicas sistemáticas (métodos formais) e ferramentas que, correntemente, podem ser usadas no processo de desenvolvimento de software de forma a aumentar a fiabilidade dos sistemas desenvolvidos. A ênfase será essencialmente em instrumentos que permitem verificar a correcção dos sistemas desenvolvidos relativamente aos requisitos para os quais foram concebidos. Pretende-se ainda que o aluno seja capaz de utilizar as seguintes ferramentas: JML, ESC/Java2, Spin.