Publications‎ > ‎

Master Dissertations

Diego Tavares CavalcantiEstudo do Uso de Vocabulários para Analisar o Impacto de Relatórios de Defeitos a Código-fonte. Master Dissertation, Computer Science. Federal University of Campina Grande, 2012.

Diego Rodrigues de AlmeidaCritérios de Geração de Casos de Teste de Sistemas de Tempo Real. Master Dissertation, Computer Science. Federal University of Campina Grande, 2012.

Anderson Rodrigo Santos Bezerra Ledo. MetaTT - Uma Abordagem Baseada em Metamodelos para a Escrita de Transformações de Modelo para Texto. Master Dissertation, Computer Science. Federal University of Campina Grande, 2012.

Jemerson Figueiredo DamásioModelagem Estatística de Mudanças Estruturais para Simulação de Evolução de Software. Master Dissertation, Computer Science, Federal University of Campina Grande, 2011.



Mariana Romão do NascimentoUm Estudo sobre a Eficácia do Ensino à Distância de Programação para Alunos Iniciantes, Master Dissertation, Computer Science, Federal University of Campina Grande, 2011.

Andreza de Souza VieiraIdentificação de Diretrizes para a Construção de Meta-modelos na Infra-estrutura de MDA Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.

 
Anne Caroline Oliveira RochaAutomação da Técnica de Inspeção Guiada para Conformidade entre Requisitos e Diagramas UML, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.



Gustavo Araújo SoaresUma Abordagem para Aumentar a Segurança em Refatoramentos de Programas, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.


Rodrigo Rocha Gomes e SouzaModelos Computacionais Realistas para Dependências entre Entidades de Software Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.

Sabrina de Figueirêdo SoutoGeração Automática de Testes com Objetos Mock Baseados em InteraçõesMaster Dissertation, Computer Science, Federal University of Campina Grande, 2010.

Stefani Silva PiresDescoberta de Causa-raiz em Ocorrências de Sistemas ElétricosMaster Dissertation, Computer Science, Federal University of Campina Grande, 2010.

Makelli Araújo JucáUma Estratégia para a Escrita de Cenários de Caso de Uso Voltados à Geração Automática de Casos de Teste Master Dissertation, Computer Science, Federal University of Campina Grande, 2009.

Mirna Carelli Oliveira MaiaTécnica Híbrida de Análise de Impacto para Sistemas Orientados a Objetos Master Dissertation, Computer Science, Federal University of Campina Grande, 2009.

Pablo Oliveira Antonino de AssisAnálise da Correlação entre Métricas de Evolução e Qualidade de Design de SoftwareMaster Dissertation, Computer Science, Federal University of Campina Grande, 2009.

Waldemar Pires Ferreira NetoVerificação de Artefatos de Diagramas de Classe UML através da Aplicação Testes de DesignMaster Dissertation, Computer Science, Federal University of Campina Grande, 2009.

Amanda Saraiva BezerraUma Técnica de Análise de Conformidade Comportamental para Sistemas DistribuídosMaster Dissertation, Computer Science, Federal University of Campina Grande, 2008.

Laísa Helena Oliveira do NascimentoAbordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações ReativasMaster Dissertation, Computer Science, Federal University of Campina Grande, 2008.

 Lile Palma HattoriAnálise Probabilística de Impacto de Mudanças Baseada em Históricos de Mudanças do Software Master Dissertation, Computer Science, Federal University of Campina Grande, 2008.


 Paulo Eduardo e Silva BarbosaVerificação Distribuída de Modelos: Investigando o Uso de Grades ComputacionaisMaster Dissertation, Computer Science, Federal University of Campina Grande, 2007.

 Wilkerson de Lucena AndradeGeração de Casos de Teste de Interação para Aplicações de CelularesMaster Dissertation, Computer Science, Federal University of Campina Grande, 2007.

Afrânio Mangueira Lima de AssisModelagem Executável de Sistemas Distribuídos em JavaMaster Dissertation, Computer Science, Federal University of Campina Grande, 2006.

Daniel Aguiar da SilvaGeração de Objetivos de Teste para Sistemas Reativos Baseada na Técnica de Verificação de Modelos CTLMaster Dissertation, Computer Science, Federal University of Campina Grande, 2006.


Emanuela Gadelha CartaxoGeração de Casos de Teste Funcional para Aplicações de CelularesMaster Dissertation, Computer Science, Federal University of Campina Grande, 2006.


André Luiz Lima de FigueiredoGeração Automática de Casos de Teste para Sistemas Baseados em Agentes MóveisMaster Dissertation, Computer Science, Federal University of Campina Grande, 2005.

Daniel Lima BarbosaUm Método Automático de Teste Funcional para a Verificação de ComponentesMaster Dissertation, Computer Science, Federal University of Campina Grande, 2005.

Fabrício Vale de Azevedo GuerraModelagem de Sistemas com Restrições Temporais em Redes de Petri Orientadas a ObjetosMaster Dissertation, Computer Science, Federal University of Campina Grande, 2005.

Taciano de Morais SilvaSimulação Automática e Geração de Espaço de Estados de Modelos em Redes de Petri Orientadas a ObjetosMaster Dissertation, Computer Science, Federal University of Campina Grande, 2005.

Cássio Leonardo RodriguesVerificação de Modelos em Redes de Petri Orientadas a Objetos, Master Dissertation, Computer Science, Federal University of Campina Grande, 2004.

Cidinha Costa GouveiaTeste de Integração para Sistemas Baseados em Componentes, Master Dissertation, Computer Science, Federal University of Campina Grande, 2004.

Emerson Ferreira de Araújo LimaFormalização a Análise de Padrões de Projeto para Agentes Móveis Master Dissertation, Computer Science, Federal University of Campina Grande, 2004.

Carina Machado de FariasUm Método de Teste Funcional para Verificação de ComponentesMaster Dissertation, Computer Science, Federal University of Campina Grande, 2003.

José Amâncio Macedo SantosSuporte à Análise e Verificação de Modelos RPOOMaster Dissertation, Computer Science, Federal University of Campina Grande, 2003.

 Edna Dias CanedoEstudo e Experimentação de uma Linguagem de Modelagem de Sistemas Baseada em Redes de Petri e Orientação a Objetos, Master Dissertation, Computer Science, Federal University of Campina Grande, 2002.

 Fabiana Paulino GuedesUm Modelo para o Desenvolvimento de Aplicações Baseadas em Agentes Móveis  Master Dissertation, Computer Science, Federal University of Campina Grande, 2002.

 Adriano José Pinheiro LemosReuso de Modelos em Redes de Petri ColoridasMaster Dissertation, Computer Science, Federal University of Campina Grande, 2001.

Comments