Dalton Dario Serey Guerrero

  • Endereço para acessar este CV: http://lattes.cnpq.br/2050632960242405
  • Última atualização do currículo em 11/08/2015


Graduado em Ciência da Computação pela Universidade Federal da Paraíba (1996), mestre em Informática pela Universidade Federal da Paraíba (1997) e doutor em Engenharia Elétrica pela Universidade Federal de Campina Grande (2002). Dalton Serey é professor adjunto da Universidade Federal de Campina Grande e coordenador do Curso de Graduação em Ciência da Computação da UFCG. Sua área de pesquisa é engenharia de software e seus temas de interesse são: i) evolução e manutenção de software, ii) verificação, validação e testes e iii) educação e computação. Temas anteriores de pesquisa incluíram: redes de Petri e métodos formais, métodos ágeis de desenvolvimento, e sistemas distribuídos e concorrentes de software. (Texto informado pelo autor)


Identificação


Nome
Dalton Dario Serey Guerrero
Nome em citações bibliográficas
GUERRERO, D. D. S.;Guerrero, Dalton D. S.;SEREY, DALTON;GUERRERO, DALTON D.S.

Endereço


Endereço Profissional
Universidade Federal de Campina Grande, Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.
Avenida Aprígio Veloso, 882
Universitário
58109-970 - Campina Grande, PB - Brasil
Telefone: (83) 33101120
URL da Homepage: http://dalton.computacao.ufcg.edu.br


Formação acadêmica/titulação


1997 - 2002
Doutorado em Engenharia Elétrica.
Universidade Federal da Paraíba, UFPB, Brasil.
Título: Redes de Petri Orientadas a Objetos, Ano de obtenção: 2002.
Orientador: Angelo Perkusich, Jorge Cesar Abrantes de Figueiredo.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: redes de petri; Modelagem e Especificação; orientação a objetos; Sistemas Distribuídos e Concorrentes.
1996 - 1997
Mestrado em Ciência da Computação.
Universidade Federal da Paraíba, UFPB, Brasil.
Título: Sistemas de Redes de Petri Modulares Baseadas em Objetos,Ano de Obtenção: 1997.
Orientador: Jorge Cesar Abrantes de Figueiredo.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: redes de petri; orientação a objetos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
1992 - 1996
Graduação em Bacharelado Em Ciência da Computação.
Universidade Federal da Paraíba, UFPB, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Atuação Profissional



Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

2002 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 0

Atividades

3/2003 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Verificação de Modelos
4/2002 - Atual
Direção e administração, Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.

Cargo ou função
Vice-coordenador do Curso de Bacharelado em Ciência da Computação.
4/2002 - Atual
Ensino, Bacharelado em Ciência da Computacao, Nível: Graduação

Disciplinas ministradas
Laboratório de Programação I
Algoritmos Avançados
Estruturas de Dados e Algoritmos
Laboratório de Estruturas de Dados e Algoritmos
Redes de Petri
4/2002 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.

Cargo ou função
Conselheiro do Curso de Bacharelado em Ciência da Computação.
3/2002 - Atual
Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia, Departamento de Sistemas e Computação.


Universidade Federal da Paraíba, UFPB, Brasil.
Vínculo institucional

1998 - 2002
Vínculo: Servidor Público, Enquadramento Funcional: Professor assistente, Carga horária: 0, Regime: Dedicação exclusiva.

Atividades

8/1998 - 3/2002
Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

7/1998 - 3/2002
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Programação 2
Redes de Petri
Estruturas de Dados e Algoritmos
Laboratório de Estruturas de Dados e Algoritmos

Escola Técnica Redentorista, ETER, Brasil.
Vínculo institucional

1989 - 1998
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Outro, Carga horária: 20
Outras informações
professor de 2o. grau

Atividades

3/1989 - 4/1998
Outras atividades técnico-científicas .

Atividade realizada
programador e analista de sistemas.


Linhas de pesquisa


1.
Redes de Petri e Software Concorrente e Distribuído
2.
Engenharia de Software
3.
Engenharia de Software
4.
Redes de Petri e Teoria da Concorrência
5.
Linguagens de Especificação e de Programação


Projetos de pesquisa


2008 - 2008
AutoTest - Qualificação e Automação de Teste de Software
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) .
Integrantes: Dalton Dario Serey Guerrero - Coordenador / Francisco Vilar Brasileiro - Integrante / João Arthur Brunet Monteiro - Integrante / Pryscilla Dora Selister - Integrante / Sabrina de F. Souto - Integrante / Cícero Alan Leite Cruz - Integrante / Melina Mongiovi - Integrante / Paulo Rômulo Alves Barros - Integrante / Giovanni Farias da Silva - Integrante.Financiador(es): Hewlett-Packard Brasil - Matriz - Auxílio financeiro.
2007 - 2010
DesignChecker: Verificação e Rastreamento da Evolução de Desenhos de Software
Descrição: O objetivo do projeto é o desenvolvimento de uma ferramenta que permita a verificação e o rastreamento da evolução do desenho de um projeto de software, viabilizando a verificação de conformidade entre o código fonte e o desenho, a identificação das diferenças entre dois momentos distintos na evolução e a medição do impacto em alterações ao longo do processo. Além disso, proporcionar ganhos no processo de manutenção de software onde a única documentação existente é o próprio código fonte..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Dalton Dario Serey Guerrero - Coordenador / Jorge César Abrantes de Figueiredo - Integrante / Cássio Leonardo Rodrigues - Integrante / Ana Emília Victor Barbosa - Integrante / Lile Palma Hattori - Integrante / Amanda Saraiva Bezerra - Integrante / João Arthur Brunet Monteiro - Integrante / Mirna Carelli - Integrante / Roberto Almeida Bittencourt - Integrante / Waldemar Pires Ferreira Neto - Integrante / Franklin de Souza Ramalho - Integrante / Adauto Trigueiro Filho - Integrante / Gustavo Jansen de Souza Santos - Integrante / Jemerson Figueiredo Damásio - Integrante.Financiador(es): Braxis It Services - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 2
2005 - 2007
DVeritas: Verificação de Modelos RPOO Distribuída
Situação: Em andamento; Natureza: Pesquisa.
2004 - Atual
Projeto Ourgrid
Descrição: Veja www.ourgrid.org.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Dalton Dario Serey Guerrero - Integrante / Walfredo da Costa Cirne Filho - Coordenador / Francisco Vilar Brasileiro - Integrante / Jacques Philippe Sauvé - Integrante.Financiador(es): Hewlett Packard - Cooperação.
2003 - 2008
OurGrid
Situação: Concluído; Natureza: Pesquisa.
2003 - Atual
Projeto Móbile/CNPq
Descrição: Neste projeto nos propomos a investigar a adequação da utilização de métodos formais no desenvolvimento de software baseado em agentes móveis. Mais especificamente, nos propomos a utilizar uma classe de redes de Petri orientadas a objetos (RPOO) na modelagem, anàlise, projeto e verificação de sistemas de software, em especial aqueles com características de mobilidade. Nos propomos ainda a desenvolver ferramentas, métodos e técnicas que permitam a utilização de RPOO em cenários práticos. Testes deverão ser gerados a partir de artefatos expressos em RPOO, garantindo a confiabilidade e consistência dos sistemas desenvolvidos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Dalton Dario Serey Guerrero - Integrante / Jorge César Abrantes de Figueiredo - Coordenador / José Amancio Macedo Santos - Integrante / Taciano de Morais Silva - Integrante / Emerson Ferreira de Araújo Lima - Integrante / Cássio Leonardo Rodrigues - Integrante.Financiador(es): Universidade Federal de Campina Grande - Remuneração / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
Número de produções C, T & A: 1
2003 - Atual
Projeto Veritas
Descrição: As redes de Petri de Alto Nível têm se mostrado como uma solução adequada à modelagem de sistemas concorrentes e distribuídos, graças a sua capacidade gráfica e matemática de representar as propriedades desses sistemas. As formalizações de redes de Petri de alto nível, porém, não oferece bons mecanismos para a estruturação e decomposição de modelos. O paradigma de orientação a objetos (OO) é uma solução adequada para tal problema. O que se almeja com redes de Petri e OO é uma combinação de significados de cada um dos paradigmas, de modo a preservar o que há de mais vantajoso em cada um deles: métodos de análise da teoria de redes de Petri e mecanismos de estruturação e decomposição do paradigma OO. RPOO - Redes de Petri Orientadas a Objetos - é o resultado da integração de redes de Petri e OO desenvolvido no Grupo de Métods Formais, da Universidade Federal de Campina Grande. Neste projeto nos propomos a desenvolver técnicas de verificação formal de modelos RPOO, através da análise do espaço de estados. Nos propomos ainda a implementar um protótipo de um verificador de modelos RPOO..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Dalton Dario Serey Guerrero - Coordenador.


Projetos de desenvolvimento


2010 - 2012
e-Pol
Descrição: Projeto de P&D em cooperação com a Polícia Federal em que será desenvolvido o sistema e-Pol de gestão de informações de atividades de polícia judiciária e investigadas técnicas de desenvolvimento distribuído e evolução de software..
Situação: Em andamento; Natureza: Desenvolvimento.


Revisor de periódico


2009 - Atual
Periódico: Software: Practice and Experience
2010 - 2011
Periódico: The Journal of Systems and Software


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.


Prêmios e títulos


2010
O trabalho do orientando (Gustavo Soares) foi selecionado um dos 10 melhores trabalhos de mestrado e doutorado no ICSE no Student Research Competition, Microsoft e Association for Computing Machinery., .
2010
O trabalho do orientando (Gustavo Soares) foi escolhido como a melhor dissertação de mestrado no Concurso Latino-americano de Tesis de Maestría, Conferência Latino-americana de Informática (CLEI)., Conferência Latino-americana de Informática (CLEI).
2009
"SafeRefactor - Tool for Checking Refactoring Safety" foi eleita a melhor ferramenta do Simpósio Brasileiro de Engenharia de Software (Sessão de Feramentas), Sociedade Brasileira de Computação., .
2009
O trabalho do orientando (João Arthur Brunet de Monteiro) foi eleito o melhor no Jazoon Competition 2009., Sun Microsystems.
2008
O artigo "Um Modelo de Conjunto de Trabalho de Arquivos Aplicado à Recuperação de Backup P2P" foi escolhido como um dos dois melhores artigos do Workshop de Sistemas Operacionais, Sociedade Brasileira, .


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
BRUNET, JOAO2014BRUNET, JOAO ; MURPHY, GAIL C. ; SEREY, DALTON ; FIGUEIREDO, JORGE . Five years of Software Architecture Checking: A Case Study of Eclipse. IEEE Software, v. 99, p. 1-1, 2014.

2.
Rodrigues, Cássio L.2011Rodrigues, Cássio L. ; Silva, Karina R. G. ; Cunha, Henrique N. ; Figueiredo, Jorge C. A. ; GUERRERO, D. D. S. ; Melcher, Elmar . Enhancing IP cores specifications using hierarchical composition and set theory. Design Automation for Embedded Systems, p. 1, 2011.

3.
Soares, G. A.2010Soares, G. A. ; Gheyi, R. ; GUERRERO, D. D. S. ; Massoni, T. L. . Making program refactoring safer. IEEE Software, v. 27, p. 52-57, 2010.

4.
Andréa P Mendonça2010Andréa P Mendonça ; Medeiros, D. C. de ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; Evandro B. da Costa . Dealing with Requirements Specification: A Case Study with Novice Programming Students. IEEE multidisciplinary engineering education magazine, v. 5, p. 3-10, 2010.

5.
COLAÇO, E.2008 COLAÇO, E. ; OLIVEIRA, M. ; SOARES, A. ; BRASILEIRO, Francisco Vilar ; GUERRERO, D. D. S. . Using a File Work Set Model to Speed up the Retrieval of Peer-to-Peer Backup Systems. Operating Systems Review, v. 42, p. 64-70, 2008.

6.
GUERRA, Fabrício Vale de Azevedo2005GUERRA, Fabrício Vale de Azevedo ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net. Electronic Notes in Theoretical Computer Science, v. 130, p. 187-209, 2005.

7.
DEARAUJOLIMA, E2004DEARAUJOLIMA, E ; GUERRERO, D. D. S. ; Figueiredo, Jorge C. A. . Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. Electronic Notes in Theoretical Computer Science, v. 95, p. 287-305, 2004.

8.
LIMA, E. F. de A.2003 LIMA, E. F. de A. ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Comparative Study of Mobile Agent Design Patterns: a Coloured Petri Nets Approach. Electronic Notes in Theoretical Computer Science, v. 95, p. 287-305, 2003.

9.
GUERRERO, D. D. S.;Guerrero, Dalton D. S.;SEREY, DALTON;GUERRERO, DALTON D.S.2001GUERRERO, D. D. S.; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de . An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment. Lecture Notes in Computer Science, v. 2001, p. 338-354, 2001.

Capítulos de livros publicados
1.
SILVA JÚNIOR, Rogério Dourado ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Design by Contract com JML. In: Unisinos. (Org.). Jornadas de Atualização em Informática, JAI. Porto Alegre: SBC, 2005, v. 1, p. 1455-1499.

Trabalhos completos publicados em anais de congressos
1.
SANTOS, KATYUSCO DE F. ; GUERRERO, DALTON D.S. ; FIGUEIREDO, JORGE C.A. DE . Using Developers Contributions on Software Vocabularies to Identify Experts. In: 2015 12th International Conference on Information Technology New Generations (ITNG), 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations, 2015. p. 451.

2.
MONTEIRO, João Arthur Brunet ; MURPHY, Gail. C. ; Terra, R. ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. . Do Developers Discuss Design?. In: The 11th Working Conference on Mining Software Repositories - Mining Challenge, 2014, Hyderabad. Proceedings of The 11th Working Conference on Mining Software Repositories - Mining Challenge, 2014.

3.
REGO, M. G. ; REBOUCAS, A. D. D. S. ; Guerrero, Dalton D. S. . Can Computers Compare Student Code Solutions as Well as Teachers?. In: Special Interest Group on Computer Science Education Symposium (SIGCSE 2014), 2014, Atlanta. Proceedings of the SIGCSE 2014 Symposium, 2014.

4.
LUSTOSA NETO, V. ; COELHO, R. S. ; LEITE, L. B. ; Guerrero, Dalton D. S. ; Andréa P Mendonça . POPT: A Problem-Oriented Programming and Testing Approach for Novice Students. In: International Conference on Software Engineering, 2013, San Francisco, USA. Proceedinds of the International Conference on Software Engineering, 2013.

5.
Terra, R. ; MONTEIRO, João Arthur Brunet ; Valente, M. T. de O. ; Miranda, L. ; Guerrero, Dalton D. S. ; Castilho, D. ; BIGONHA, R. S. . Measuring the Structural Similarity between Source Code Entities. In: 25th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2013, Boston. Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013. v. 1. p. 753-758.

6.
Valente, M. T. de O. ; SANTOS, G. J. S. ; SANTOS, Katyusco F. ; Guerrero, Dalton D. S. ; ANQUETIL, N. . TopicViewer: Evaluating Remodularizations Using Semantic Clustering. In: Sessão de ferramentas do Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2013, Brasília. Anais do IV Congresso Brasileiro de Software: Teoria e Prática, 2013. v. 1. p. 1-6.

7.
MELO, I. ; MONTEIRO, João Arthur Brunet ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Verificação de Conformidade Arquitetural com Testes de Design - Um Estudo de Caso. In: I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software (VEM / CBsoft), 2013, Brasília. Anais do I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013. v. 1. p. 30-37.

8.
REGO, M. G. ; WANDERLEY, L. F. ; LEMOS, F. W. ; ARAUJO, E. C. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Eu Sei o que Vocês Fizeram (Agora e) na Aula Passada: o TSTView no Acompanhamento de Exercícios de Programação. In: XXIV Simpósio Brasileiro de Informática na Educação, 2013, Maceió. Anais do XXIV Simpósio Brasileiro de Informática na Educação, 2013.

9.
ARAUJO, E. C. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Avaliando a Legibilidade de Programas de Iniciantes. In: Workshop de Educação e Informática - WEI / CSBC 2013, 2013, Maceió. Anais do Workshop de Educação e Informática - WEI / CSBC 2013, 2013.

10.
ARAUJO, E. C. ; REGO, M. G. ; MENEZES, A. ; FERREIRA, I. ; RIBEIRO, I. ; FAGNER, A. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . O Papel do Hábito de Estudo no Desempenho do Aluno de Programação. In: Workshop de Educação em Informática - WEI / CSBC 2013, 2013, Maceió. Anais do Workshop de Educação em Informática - WEI / CSBC 2013, 2013.

11.
RODRIGUES, J. R. R. ; REGO, M. G. ; Guerrero, Dalton D. S. . Compreendendo o Processo de Codificação de um Exercício de Programação em Python. In: Workshop de Educação em Informática - WEI / CSBC 2013, 2013, Maceió. Anais do Workshop de Educação em Informática - WEI / CSBC 2013, 2013.

12.
MELO, I. ; MONTEIRO, João Arthur Brunet ; FIGUEIREDO, Jorge César Abrantes de ; Guerrero, Dalton D. S. . Verificação de Conformidade Arquitetural com Testes de Design - Um Estudo de Caso. In: I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013, Brasília. I Workshop Brasileiro de Visualização, Evolução e Manutenção de Software, 2013. v. 1. p. 30-37.

13.
MONTEIRO, João Arthur Brunet ; BITTENCOURT, Roberto Almeida ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. . On the Evolutionary Nature of Architectural Violations. In: 19th Working Conference on Reverse Engineering, 2012, Kingston. Proceedings of the 19th Working Conference on Reverse Engineering, 2012. p. 257-266.

14.
CAVALCANTI, D. T. ; SANTOS, Katyusco F. ; Figueiredo, Jorge C. A. ; Guerrero, Dalton D. S. . Using Software Vocabulary to Rank Classes that are Probably Impacted by a Bug Report. In: 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012, Riva del Gardia. Proceedings of the 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012. p. 16-20.

15.
SANTOS, Katyusco F. ; Guerrero, Dalton D. S. ; Figueiredo, Jorge C. A. ; BITTENCOURT, Roberto Almeida . Towards a Prediction Model for Source Code Vocabulary. In: 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012, Riva del Gardia. Proceedings of the 1st Workshop on The Next Five Years of Text Analysis in Software Maintenance, 2012. p. 41-45.

16.
REBOUCAS, A. D. D. S. ; SILVA, G. F. ; LOPES, R. V. ; Guerrero, Dalton D. S. . DistSysTest: Padrão de Desenvolvimento de Testes de Sistema Automáticos de Aplicações Distribuídas. In: 9th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP),, 2012, Natal. Proceedings of the SugarLoafPloP 2012, 2012.

17.
CAVALCANTI, D. T. ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . A Case Study on the SImilariry Between Source Code and Bug Report Vocabularies. In: VIII Workshop de Manutenção de Software Moderna - SBQS, 2011. Anais do VIII Workshop de Manutenção de Software Moderna, 2011. v. 1. p. 1-8.

18.
SANTOS, Katyusco F. ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Understanding the Occurrence of Vocabulary Terms in Java Code.. In: VIII Workshop de Manutenção de Software Moderna - SBQS, 2011, Curitiba. VIII Workshop de Manutenção de Software Moderna - SBQS, 2011. v. 1. p. 565-570.

19.
FRAGA, Edigley ; BRASILEIRO, Francisco Vilar ; GUERRERO, D. D. S. . Estimando o Valor de uma Grade Entre Pares para a Execução de Aplicações do Tipo Saco de Tarefas. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2011, Porto Alegre. Anais do Workshop em Clouds, Grids e Aplicações, 2011.

20.
MONTEIRO, João Arthur Brunet ; Figueiredo, Jorge C. A. ; GUERRERO, D. D. S. . Structural Conformance Checking with Design Tests: An Evaluation of Usability and Scalability. In: International Conference on Software Maintenance - ICSM2011, 2011, Williamsburg, VA. Proceedings of the 2011 International Conference on Software Maintenance - ICSM 2011, 2011. v. 1. p. 143-149.

21.
CARELLI, Mirna ; BITTENCOURT, Roberto Almeida ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . The Hybrid Technique for Object-Oriented Software Change Impact Analysis. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid, ESP. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. p. 252-255.

22.
Gomes e Souza, R. R. ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Modular Network Models for Class Dependencies in Software. In: 14th European Conference on Software Maintenance and Reengineering, 2010, Madrid, ESP. Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010. p. 245-249.

23.
Nascimento, M. R. ; Andréa P Mendonça ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Teaching Programming for High School Students: A Distance Education Experience. In: 40th Annual Frontiers in Education Conference, 2010, Washingtog DC, USA. Proceedings of the 40th Annual Frontiers in Education Conference, 2010. p. F1J-1-F1J-6.

24.
BITTENCOURT, Roberto Almeida ; SANTOS, G. J. S. ; GUERRERO, D. D. S. ; MURPHY, Gail. C. . Improving Automated Mapping in Reflexion Models using Information Retrieval Techniques. In: WCRE 2010 - 17th Working Conference on Reverse Engineering, 2010, Beverly, Massachussets, USA. Proceedings of the 17th Working Conference on Reverse Engineering. Los Alamitos: IEEE CS Press, 2010. p. 163-172.

25.
LEDO, Anderson ; Waldemar P. F. Neto ; Ramalho, Franklin ; Guerrero, Dalton D. S. . Checking UML Design Patterns in Java Implementations. In: SBCARS - Brazilian Symposium on Software Components, Architectures and Reuse, 2010, Salvador. Proceedings of the SBCARS 2010, 2010.

26.
MONTEIRO, João Arthur Brunet ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Design Tests: An Approach to Programmatically Verify the Design of your Code Against Design Rules. In: 31st International Conference on Software Engineering, 2009, Vancouver. Proceedings of the 31st International Conference on Software Engineering - ICSE 2009, 2009. p. 255-258.

27.
RODRIGUES, Cássio Leonardo ; Karina R. G. da Silva ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Improving Functional Verification of Embedded Systems Using Hierarchical Composition and Set Theory. In: 24th Annual ACM Symposium on Applied Computing, 2009, Waikiki Beach. Proceedings of 24th Annual ACM Symposium on Applied Computing, 2009. v. 1. p. 823-827.

28.
Andréa P Mendonça ; GUERRERO, D. D. S. ; Evandro B. da Costa . Problem Oriented Programming: An Approach to Teach Programming to Beginner Students. In: VI International Conference on Engineering and Computer Education, 2009, Buenos Aires. Proceedings of the VI International Conference on Engineering and Computer Education, 2009. v. 1. p. 1-6.

29.
BITTENCOURT, Roberto Almeida ; GUERRERO, D. D. S. . Comparison of Graph Clustering Algorithms for Recovering Software Architecture Module Views. In: 13th European Conference on Software Maintenance and Reengineering, 2009, Kaiserslautern. Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009. v. 1. p. 1-6.

30.
BITTENCOURT, Roberto Almeida ; DAMASIO, J. F. ; SANTOS, G. J. S. ; TRIGUEIRO FILHO, A. ; NOBREGA FILHO, J. M. ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Design Suite: Towards an Open Scientific Investigation Environment for Software Architecture Recovery. In: VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software, 2009, Ouro Preto. Anais do VI Workshop de Manutenção de Software Moderna - Simpósio Brasileiro de Qualidade de Software. Ouro Preto, 2009. v. 1. p. 1-8.

31.
Andréa P Mendonça ; GUERRERO, D. D. S. ; Evandro B. da Costa . An approach for problem specification and its application in an introductory programming course. In: IEEE International Conference on Frontiers in Education, 2009, San Antonio, Texas. Proceedings of the 39th IEEE International Conference on Frontiers in Education. Piscataway, NJ, USA: IEEE Press, 2009. p. 1529-1534.

32.
Andréa P Mendonça ; Oliveira, C. ; GUERRERO, D. D. S. ; Evandro B. da Costa . Difficulties in Solving Ill-Defined Problems: a Case Study with Introductory Computer Programming Students. In: IEEE International Conference on Frontiers in Education, 2009, San Antonio, Texas, USA. Proceedings of the 39th IEEE International Conference on Frontiers in Education. Piscataway, NJ: IEEE Press, 2009. p. 1171-1176.

33.
Andréa P Mendonça ; Medeiros, D. C. de ; GUERRERO, D. D. S. ; Evandro B. da Costa . Tratando Especificação de Requisitos com Estudantes Iniciantes de Programação. In: Fórum de Educação em Engenharia de Software do XXIII Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza, CE, Brasil. Anais do SBES 2009, 2009.

34.
SOUTO, S. F. ; GUERRERO, D. D. S. . Automock: Interaction-Based Mock Code Generation. In: Latin American Depandability Computing, 2009, 2009, João Pessoa, PB, Brasil. Proceedings of the LADC 2009, 2009.

35.
Soares, G. A. ; Massoni, T. L. ; CORNÉLIO, Márcio ; Guerrero, Dalton D. S. . SafeRefactor - Tool for Checking Refactoring Safety. In: Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza. Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2009.

36.
HATTORI, Lile Palma ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . On the Precision and Accuracy of Impact Analysis Technique. In: 7th International Conference on Computer and Information Science, 2008, Portland. Proceedings of the 7th International Conference on Computer and Information Science, 2008. v. 1. p. 1-10.

37.
Ramalho, Franklin ; MONTEIRO, João Arthur Brunet ; Waldemar P. F. Neto ; GUERRERO, D. D. S. . UML-based Design Test Generation. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing - The Software Engineering Track, 2008. v. 1. p. 735-740.

38.
OLIVEIRA, M. ; CIRNE FILHO, Walfredo da Costa ; BRASILEIRO, Francisco Vilar ; GUERRERO, D. D. S. . On the Impact of the Data Redundancy Strategy on the Recoverability of Friend-to-Friend Backup Systems. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2008, Rio de Janeiro. Anais do 26o. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Porto Alegre: Sociedade Brasileira de Computação, 2008. v. 1. p. 1-14.

39.
COLAÇO, E. ; OLIVEIRA, M. ; SOARES, A. ; GUERRERO, D. D. S. ; BRASILEIRO, Francisco Vilar . Um Modelo de Conjunto de Trabalho de Arquivos Aplicado à Recuperação de Backup P2P. In: Workshop de Sistemas Operacionais, 2008, Belém. Anais do 5o. Workshop de Sistemas Operacionais. Porto Alegre: Sociedade Brasileira de Computação, 2008. v. 1. p. 1-14.

40.
SOARES, P. ; OLIVEIRA, M. ; GUERRERO, D. D. S. ; BRASILEIRO, Francisco Vilar . Solomon: Incentivando o Compartilhamento e Maior Disponibilidade em Sistemas de Armazenamento Entre-Pares. In: Workshop de Peer-to-Peer, 2008, Rio de Janeiro. Anais do IV Workshop de Peer-to-Peer. Porto Alegre: Sociedade Brasileira de Computação, 2008. v. 1. p. 1-12.

41.
RODRIGUES, Cássio Leonardo ; Fábio J. A. Morais ; Leandro M. de Lima ; Karina R. G. da Silva ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. ; Elmar U. Melcher . Functional Verification Methodology using Hierarchical Coloured Petri Nets-based Testbenches. In: IEEE International Conference on Systems, Man, and Cybernetics, 2008, Cingapura. Proceedings of IEEE SMC'2008, 2008. v. 1. p. 1-7.

42.
Andréa P Mendonça ; Evandro B. da Costa ; GUERRERO, D. D. S. . Elicitação de Requisitos - Evidências de uma Problemática na Formação dos Estudantes de Computação. In: Fórum de Educação em Engenharia de Software, 2008, Campinas. Monografias em Ciência da Computação. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro, 2008. v. 40. p. 65-73.

43.
RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; CABRAL, Jairson Marinho ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. In: 33rd Annual Conference of the IEEE Industrial Electronics Society (IECON-2007), 2007, Taipei. Proceedings of the 33rd Annual Conference of the IEEE Industrial Electronics Society, 2007. v. 1. p. 1-12.

44.
HERBSTER, Raul Fernandes ; PERKUSICH, Angelo ; ALMEIDA, Hyggo Oliveira de ; GUERRERO, D. D. S. . Integrating Open Source Tools for Developing Embedded Linux Applications. In: Fórum Internacional Software Livre, International Track, 2006, Porto Alegre. Anais do VII Workshop de Software Livre, 2006. p. 229-236.

45.
GUERRERO, D. D. S.; RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; CABRAL, Jairson Marinho ; FIGUEIREDO, Jorge César Abrantes de . A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.. In: IEEE International Conference on Software Engineering and Formal Methods, 2006, Pune. Proceedings of 4th IEEE International Conference on Software Engineering and Formal Methods, 2006. v. 1. p. 56-70.

46.
GUERRERO, D. D. S.; BARBOSA, Paulo Eduardo e Silva ; FIGUEIREDO, Jorge César Abrantes de . Verificação Distribuída de Modelos: Uma Abordagem com Grades Computacionais.. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis. Anais do XI Workshop de Teses e Dissertações em Engenharia de Software, 2006. v. 1. p. 13-18.

47.
GUERRERO, D. D. S.; OLIVEIRA, Elthon Allex da Silva ; FIGUEIREDO, Jorge César Abrantes de . Extração de Modelos Comportamentais de Programas Java Concorrentes Anotados. In: Workshop de Teses e Dissertações em Engenharia de Software, 2005, Uberlândia. Anais do WTES05, 2005. v. 2005.

48.
SILVA JÚNIOR, Rogério Dourado ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Uma Abordagem Rigorosa para o Desenvolvimento de Sistemas em Processos Ágeis. In: Workshop de Teses e Dissertações em Engenharia de Software, 2005, Uberlândia. Anais do WTES05, 2005. v. 2005.

49.
RODRIGUES, Cássio Leonardo ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Model Checking in Object Oriented Petri Nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2004, The Hague. Proceedings of the IEEE SMC04 Conference, 2004. v. 3. p. 1015-1021.

50.
GUERRA, Fabrício Vale de Azevedo ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Extensão Temporizada para Redes de Petri Orientadas a Objetos. In: Workshop de Teses e Dissertações em Engenharia de Software, 2004, Brasília. Anais do IX Workshop de Teses e Dissertações em Engenharia de Software, 2004. v. 1.

51.
RODRIGUES, Cássio Leonardo ; GUERRA, Fabrício Vale de Azevedo ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; SILVA, Taciano de Morais . Modeling and Verification of Mobility Issues Using Object-Oriented Petri Nets. In: 3rd International Information and Telecommunication Technologies Symposium, 2004, São Carlos. Proceedings of the Third International Information and Telecommunication Symposium, 2004. v. 1. p. 10-18.

52.
RODRIGUES, Cássio Leonardo ; BARBOSA, Paulo Eduardo e Silva ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . RPOO Model Checker. In: Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília. Anais do XVIII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004. v. 1.

53.
GUERRA, Fabrício Vale de Azevedo ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Timed Extension for an Object Oriented Petri Net Language. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. Anais do SBMF'2004, 2004. v. 1. p. 132-148.

54.
RODRIGUES, Cássio Leonardo ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; SILVA, T. DE M. . Proceedings of the 33rd Annual Conference of the IEEE Industrial Electronics Society. In: 3rd International Information and Telecommunication Technologies Symposium, 2004, São Carlos. Proceedings of the 3rd International Information and Telecommunication Technologies Symposium, 2004. v. 1. p. 103-111.

55.
LIMA, E. F. de A. ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Comparative Study of Mobile Agent Design Patterns: a Coloured Petri Nets Approach. In: VI Workshop de Métodos Formais, 2003, Campina Grande. Anais do VI Workshop de Métodos Formais, 2003. v. 1. p. 212-227.

56.
RODRIGUES, Cássio Leonardo ; FIGUEIREDO, Jorge César Abrantes de ; GUERRERO, D. D. S. . Verificação de Modelos em Redes de Petri Orientadas a Objetos. In: VIII Workshop de Teses em Engenharia de Software, 2003, Manaus. Anais do VIII Workshop de Teses em Engenharia de Software, 2003. v. 1.

57.
CANEDO, Edna Dias ; SANTOS, José Amancio Macedo ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Experimenting a Notation Based on Petri Nets and Object-Oriented Concepts. In: I Brazilian Petri Net Meeting, 2002, Natal. Anais do I Brazilian Petri Net Meeting, 2002. v. 1. p. 10-18.

58.
GALLINDO, Érica de Lima ; GUERRERO, D. D. S. ; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de . Aplicação de uma Notação Baseada em Redes de Petri e Orientação a Objetos: um Experimento de Modelagem. In: Workshop on Formal Methods, 2001, Rio de Janeiro. Anais do IV WMF - Workshop de Métodos Formais, 2001. v. 1. p. 13-24.

59.
COSTA, Sandro Alex Damasceno ; GUERRERO, D. D. S. ; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de . Inheritance Issues in Object Oriented Petri Net Models. In: IEEE International Conference on Systems, Man and Cybernetics, 1998, San Diego. Proceedings of 1998 International Conference on Systems Man and Cybernetics, 1998. v. I. p. 196-201.

60.
GUERRERO, D. D. S.; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de ; MEDEIROS, Ana Karla Alves de . An Object-Oriented Petri Net Modelling Tool and Abstraction Mechanisms for Cooperative Systems. In: IEEE International Conference on Systems Man and Cybernetics, 1998, San Diego. Proceedings of the 1998 IEEE International Conference on Systems Man and Cybernetics, 1998. v. 1. p. 420-426.

61.
COSTA, Sandro Alex Damasceno ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; PERKUSICH, Angelo . Aspectos de Herança em Uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri. In: Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Anais do Simpósio Brasileiro de Engenharia de Software 1998, 1998. v. 1. p. 297-312.

62.
GUERRERO, D. D. S.; PERKUSICH, Angelo ; FIGUEIREDO, Jorge César Abrantes de . Modeling a Cooperative Environment Based on an Object-Based Modular Petri Net. In: The 9th International Conference on Software Engineering and Knowledge Engineering, 1997, Madrid. Proceedings of The 9th International Conference on Software Engineering and Knowledge Engineering, 1997. p. 240-247.

63.
GUERRERO, D. D. S.; FIGUEIREDO, Jorge César Abrantes de ; PERKUSICH, Angelo . Object-Based High-Level Petri Nets as a Formal Approach to Distributed Information Systems. In: IEEE International Conference on Systems Man and Cybernetics, 1997, Orlando. Proceedings of the IEEE International Conference on Systems Man and Cybernetics, 1997. p. 3383-3388.

Resumos expandidos publicados em anais de congressos
1.
SOUTO, S. F. ; RIBEIRO, R. M. ; GUERRERO, D. D. S. . Generating Mock-Based Test Automatically. In: Latin American Workshop on Aspect-Oriented Software Development, 2009, Fortaleza, CE, Brasil. Proceedings of the Latin American Workshop on Aspect-Oriented Software Development 2009, 2009.

2.
MONTEIRO, João Arthur Brunet ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de . Checking Code Against Design Rules with Design Tests. In: Fourth Latin-American Symposium on Dependable Computing, 2009, João Pessoa, PB, Brasil. Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009.

Resumos publicados em anais de congressos
1.
SILVA, Taciano de Morais ; GUERRERO, D. D. S. ; FIGUEIREDO, Jorge César Abrantes de ; SANTOS, José Amancio Macedo . Simulação de Modelos de RPOO: Entrada de Dados e Simulador de Redes de Petri. In: X Encontro de Iniciação Científica da UFPB, 2002. Anais do X Encontro de Iniciação Científica da UFPB. v. 1.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
BRASILEIRO, Francisco Vilar; Ferraz, C. A. G.; GUERRERO, D. D. S.. Participação em banca de Jonhnny Weslley Souza Silva. Processamento Paralelo de Grandes Quantidades de dados sobre um Sistema de Arquivos Distribuídos POSIX. 2010. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Coordenação de Pós-Graduação em Ciência da Computação.

2.
FIGUEIREDO, Jorge César Abrantes de; GUERRERO, D. D. S.; MACHADO, Patrícia Duarte de Lima; PERKUSICH, Angelo; MOTA, Alexandre. Participação em banca de Cássio Leonardo Rodrigues. Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
GUERRERO, D. D. S.; BORBA, Paulo Henrique Monteiro; MACHADO, Patrícia Duarte de Lima; FIGUEIREDO, Jorge César Abrantes de. Participação em banca de Emerson Ferreira de Araújo Lima. Formalização e Análise de Padrões de Projetos para Agentes Móveis. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
FIGUEIREDO, Jorge César Abrantes de; GUERRERO, D. D. S.; MACHADO, Patrícia Duarte de Lima; DOMINGUEZ, A. H.. Participação em banca de José Amancio Macedo Santos. Suporte à Análise e Verificação de Modelos RPOO. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
GUERRERO, D. D. S.; CIRNE FILHO, Walfredo da Costa; BRASILEIRO, Francisco Vilar. Participação em banca de Erick Passos. Caracterização de Serviços de Armazenamento Estável sobre Sistemas de Arquivos. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
GUERRERO, D. D. S.; SCHIEL, Ulrich. Participação em banca de Edemberg Rocha da Silva. Ambiente de criação de interfaces para manipulação de objetos em aplicações avançadas de bancos de dados. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Doutorado
1.
GUERRERO, D. D. S.; PERKUSICH, Angelo; FIGUEIREDO, Jorge César Abrantes de; MOTA, Alexandre Cabral; ROCHA NETO, José Sérgio da. Participação em banca de Leandro dias da Silva. Especificação e Verificação Sistemática, Formal, e Modular de Sistemas Embutidos. 2004. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Trabalhos de conclusão de curso de graduação
1.
GUERRERO, D. D. S.; FIGUEIREDO, Jorge César Abrantes de; MACHADO, Patrícia Duarte de Lima. Participação em banca de Ana Emília Victor Barbosa.Ferramenta de Catalogação de Padrões de Teste para a Verificação de Aplicações Baseadas em Agentes Móveis. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computacao) - Universidade Federal de Campina Grande.

2.
GUERRERO, D. D. S.; FIGUEIREDO, Jorge César Abrantes de; MACHADO, Patrícia Duarte de Lima. Participação em banca de Laísa Helena do Nascimento.CPAM: Uma ferramenta Web para Catalogação de Padrões de Projeto para Agentes Móveis. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computacao) - Universidade Federal de Campina Grande.

3.
GUERRERO, D. D. S.; FIGUEIREDO, Jorge César Abrantes de; CIRNE FILHO, Walfredo da Costa. Participação em banca de Loreno Feitosa de Oliveira.MyPhotoGrid. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computacao) - Universidade Federal de Campina Grande.



Participação em bancas de comissões julgadoras
Concurso público
1.
GUERRERO, D. D. S.; CHAVEZ, Christina Von Flach Garcia; COSTA, Sandro Alex Damasceno. Banca Examinadora para Professor Assistente. 2004. Universidade Estadual de Feira de Santana.

2.
GUERRERO, D. D. S.. Banca Examinadora para Professor Assistente. 2002. Universidade Estadual de Feira de Santana.



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Jemerson Figueiredo Damásio. Simulação de Evolução de Software Baseada em Modelagem Estatística de Padrões de Mudanças Estruturais em Software. Início: 2011. Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Giovanni Farias da Silva. Uma Abordagem para o Desenvolvimento de Testes de Sistema Automáticos de Aplicações Distribuídas. Início: 2011. Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

3.
Edigley Pereira Fraga. Estimando o Valor de uma Grade P2P usando Provedores de Infraestrutura como Serviço como Parâmetro de Comparação. Início: 2011. Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

4.
Sebastião Estefânio Pinto Rabelo Júnior. Testes de Design para Verificação de Diagramas de Sequencia UML em Código Java. Início: 2011. Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

5.
João Arthur Brunet Monteiro. Verificação automática de conformidade implementação-desenho. Início: 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Parque Tecnológico da Paraíba. (Orientador).

Tese de doutorado
1.
Diego Tavares Cavalcanti. Mapeamento Automático de Bug Reports a Elementos de Projetos de Software. Início: 2011. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Katyusco Farias Santos. Compreensão da Evolução de Software pelo Estudo da Evolução de Vocabulários de Software. Início: 2010. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

3.
Roberto Almeida Bittencourt. Evolução e Deterioração de Desenhos Software. Início: 2007. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Sabrina de F. Souto. Geração Automática de Mocks. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Parque Tecnológico da Paraíba. Orientador: Dalton Dario Serey Guerrero.

2.
Gustavo Araújo Soares. Uma Abordagem para Aumentar a Segurança em Refatoramentos de Programas. 2010. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Coordenação de Pós-Graduação em Ciência da Computação, . Orientador: Dalton Dario Serey Guerrero.

3.
Rodrigo Rocha Gomes e Souza. Modelos Realistas para a Avaliação de Algoritmos de Agrupamento de Software. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Dalton Dario Serey Guerrero.

4.
Mirna Carelli Oliveira Maia. Técnica Híbrida de Análise de Impacto para Sistemas Orientados a Objetos. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

5.
Pablo Oliveira Antonino de Assis. Análise da Correlação entre Métricas de Evolução e Qualidade de Design de Software. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Dalton Dario Serey Guerrero.

6.
Waldemar Pires Ferreira Neto. Verificação de Artefatos de Diagramas de Classe UML através da Aplicação Testes de Design. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

7.
Amanda Saraiva Bezerra. Uma Técnica de Análise de Conformidade Comportamental para Sistemas Distribuídos. 2008. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

8.
Lile Palma Hattori. Análise Probabilística de Impacto de Mudanças Baseada em Históricos de Mudanças do Software. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

9.
Paulo Eduardo e Silva Barbosa. Verificação Distribuída de Modelos: Investigando o Uso de Grades Computacionais.. 2007. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Dalton Dario Serey Guerrero.

10.
Ana Emília Victor Barbosa. Verificação Automática de Sistemas Concorrentes em Tempo de Execução. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

11.
Rogério Dourado Silva Júnior. CASTOR: Uma Técnica de Verificação de Conformidade para Arquiteturas de Software. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

12.
Afrânio Mangueira Lima de Assis. Modelagem Executável de Sistemas Distribuídos em Java. 2006. 115 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Dalton Dario Serey Guerrero.

13.
Elthon Allex da Silva Oliveira. Uma Técnica para Modelagem e Verificação de Programas Java Concorrentes Auxiliada por Anotações de Código. 2006. 161 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

14.
André Luiz Lima de Figueiredo. Geração Automática de Casos de Teste para Sistemas Baseados em Agentes Móveis. 2005. 185 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

15.
Fabrício Vale de Azevedo Guerra. Modelagem de Sistemas com Restrições Temporais em Redes de Petri Orientadas a Objetos. 2005. 120 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

16.
Taciano de Morais Silva. Geração de Espaço de Estados de Modelos em Redes de Petri Orientadas a Objetos. 2005. 100 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

17.
Cássio Leonardo Rodrigues. Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2004. 110 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Dalton Dario Serey Guerrero.

18.
José Amancio Macedo Santos. Suporte à Análise e Verificação de Modelos RPOO. 2003. 100 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

Tese de doutorado
1.
Cássio Leonardo Rodrigues. Análise de Cobertura Funcional na Fase de Integração de Blocos de Circuitos Digitais. 2010. 0 f. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Dalton Dario Serey Guerrero.

2.
Andréa Pereira Mendonça. Programação Orientada ao Problema: Uma Metodologia para Entendimento de Problemas e Especificação no Contexto de Ensino de Programação para Iniciantes. 2010. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Dalton Dario Serey Guerrero.

Iniciação científica
1.
Jairson Marinho Cabral. Geração de Espaços de Estados de Modelos em RPOO. 2004. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Dalton Dario Serey Guerrero.




Página gerada pelo Sistema Currículo Lattes em 22/10/2018 às 6:46:10