Detalhes para 355. Bruno Menezes Rocha

Título: Uma abordagem de dois níveis baseada em verificação de modelos de uma lógica modal para auxiliar na análise de conformidade arquitetural de software.

Banca Examinadora:

Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora)
Prof. Dr. Thiago Alves Rocha (IFCE - Coorientador)
Prof. Dr. João Fernando Lima Alcântara (UFC)
Prof. Dr. Lincoln Souza Rocha (UFC)
Prof. Dr. Edward Hermann Haeusler (PUC-RIO)
Prof. Dr. Francicleber Martins Ferreira (UFC)

29 de outubro de 2021