Dissertações de Mestrado
Documentos
355. Bruno Menezes Rocha
Downloads: | 9474 |
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
082. Paulo Leitão Vilar
Downloads: | 9610 |
TÍTULO: AHO - Analisador Harmônico Otimista
Banca Examinadora:
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC - Orientador)
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC)
Prof. Dr. Luiz Botelho de Albuquerque (UFC)
Data: 16 de setembro de 2005
130. Fernanda Lígia Rodrigues Lopes
Downloads: | 9677 |
Título: Acesso a Dados a partir de Ontologias Utilizando Mapeamentos Heterogêneos e Programação em Lógica
Banca Examinadora:
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC - Orientador)
Profª. Drª. Bernadette Farias Lóscio (UFPE)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Profª. Drª. Maria Cláudia Reis Cavalcanti (IME)
Data: 30 de novembro de 2010
004. Jorge Luiz de Castro e Silva
Downloads: | 9812 |
Título: Aplicação da Metodologia ODP na Especificação da Função de Controle de Acesso em Sistemas Abertos Distribuídos, de Acordo com a Recomendação X.812 do ITU-T.
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC - Orientador)
Prof. Dr. Michael Anthony Stanton (PUC/RJ)
Prof. Dr. Joaquim Celestino Júnior (INSOFT/SOFTEX/CE)
Data: 08 de abril de 1997
005. Juliana SiIlva da Cunha
Downloads: | 9899 |
TÍTULO: Gerência de Configuração de Serviços em Ambientes Heterogêneos: Sistemas e Modelos Orientados a Objetos
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC - Orientador)
Prof. Dr. Fábio Queda Bueno da Silva (UFPE)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data: 09 de fevereiro de 1998