Tópicos especiais: Engenharia de Requisitos, modelagem e análise de requisitos, Goal Oriented Requirement Engineering (GORE): KAOS e i*; validação de requisitos; modelagem de sistemas: Model Driven Engineering (MDE), relação entre a modelagem semi-formal em UML e SysML; Representações formais para a modelagem de sistemas: Redes de Petri, B.
- Docente: Jose Reinaldo Silva