Mark Alan Song

Informações coletadas do Lattes

Acadêmico

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Carlos José Pereira de Lucena

LUCENA, C. J. P.. Banca de proposta de tese de doutorado DCC/UFMG. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Sérgio Vale Aguiar Campos

UML - Cafe, Uma Metodologia para Projeto e Verificação de Sistemas Transacionais; 2004; 130 f; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Sergio Vale Aguiar Campos;