O Departamento de Computação (DC) da UFRPE realiza, na próxima terça (20), às 18:00h, o seminário apresentado pelo Prof. Lucas Albertins (DC-UFRPE), com o tema "Verificação de Modelos UML comportamentais". 

O objetivo do seminário é abrir o diálogo sobre o uso de modelos ideais durante o processo de desenvolvimento de sistemas, sejam eles de hardware ou software, tendo em vista que as fases de análise e projeto têm um papel crucial por definir a arquitetura do sistema que será construído. Além disso será abordado as vantagens e desvantagens do uso de linguagens de programação formais.

O evento acontece na Sala 29 do CEAGRI 2,  é aberto para todo o público e não precisa de inscrição.