Introduzir os conceitos de modelagem e design de sistemas, especialmente dos sistemas automatizados, que congregam hardware e software. Estudo dos sistemas automatizados baseados e integrados por Sistemas de Informação, e seu processo de modelagem e design.
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