Permitir o contato dos alunos com métodos formais, baseados em notação matemática, para a especificação de software. Discutir de forma crítica as abordagens existentes atualmente. Dar ao aluno noções básicas de um ou mais métodos formais de especificação e experiência em seu uso em caso prático.