Options d’inscription
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.
- Docente: Adenilso da Silva Simão
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.