Franklin de Souza Ramalho
Possui graduação em Ciências da Computação pela Universidade Federal da Paraíba (1998), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2000) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2007). Realizou parte de seu doutorado na Université Paris VI, na França. Tem experiência no mercado de trabalho, tendo participado no desenvolvimento de aplicações WEB (como o engenho de busca Radix.com), trabalhando entre 2000-2002 na empresa Radix.com S/A. É professor da Universidade Federal de Campina Grande (UFCG) desde 2002. Foi coordenador do Programa de Pós-Graduação em Ciência da Computação da UFCG no período de 2013-2015. Sua pesquisa tem ênfase nas áreas de Desenvolvimento Dirigido a Modelos e Linguagens Específicas de Domínio.
Informações coletadas do Lattes em 24/07/2025
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
2002 - 2007
Universidade Federal de Pernambuco
Título: MODELOG - Model-Oriented Development with Executable Logical Object Generation
Orientador: em Université Pierre et Marie Curie ( Marie-Pierre Gervais)
com , Ano de obtenção: 2007. Jacques Pierre Louis Robin. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: MDA; Flora-2; Object-Oriented Logic Programming; Automatic Code Generation; UML; OCL.
Mestrado em Ciências da Computação
1998 - 2000
Universidade Federal de Pernambuco
Título: Avaliação Empírica da Expansão Automática de Consultas Através de Sinônimos e Hipérnimos em Engenhos de Busca
, Ano de Obtenção: 2000.Jacques Pierre Louis Robin.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Graduação em Ciencias da Computacao
1994 - 1998
Universidade Federal de Campina Grande
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Desenvolvimento Dirigido por Modelos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
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.
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.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Web Semântica.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
Organização de eventos
Ramalho, Franklin. . VII Workshop de Teses e Dissertações da COPIN. 2008. (Outro).
Ramalho, Franklin. . VI Workshop de Teses e Dissertações da COPIN. 2007. (Outro).
Participação em eventos
Congresso Brasileiro de Software de 2012: Teoria e Prática. 2012. (Congresso).
Brazilian Workshop on Model-Driven Development.Membro de Comitê de Programa. 2011. (Oficina).
CBSoft - Sessão de ferramentas.Membro de Comitê de Programa. 2011. (Outra).
CBSoft - Tutoriais. Membro de Comitê de Programa. 2011. (Congresso).
SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software.Membro de Comitê de Programa. 2011. (Simpósio).
Brazilian Workshop on Model-Driven Development.Membro de Comitê de Programa. 2010. (Oficina).
CBSoft - Sessão de ferramentas.Membro de Comitê de Programa. 2010. (Outra).
SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software.Membro de Comitê de Programa. 2010. (Simpósio).
III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - Sessão de Ferramentas.Membro de Comitê de Programa. 2009. (Simpósio).
VIII Workshop de Ferramentas e Aplicações evento integrante do WebMedia 2009 - XV Simpósio Brasileiro de Sistemas Multimídia e Web.Membro de Comitê de Programa. 2009. (Simpósio).
Brazilian Symposium on Formal Methods.MDA e Geração de Código. 2008. (Simpósio).
10th Brazilian Symposium on Formal Methods.Reconciling Model-Driven, Agile and Formal Development by Model Transformations from UML/OCL PIMs to Object-Oriented Logic Programs. 2007. (Simpósio).
XXI Simpósio Brasileiro de Egenharia de Software.Integrando Desenvolvimento e Testes Dirigidos por Modelos. 2007. (Simpósio).
WIRE - Workshop para Introdução do Reuso em Empresa de Desenvolvimento de Software.MODELOG - Automated Code Generation from UML Models. 2006. (Encontro).
UML Conference. UML Conference. 2004. (Congresso).
6th Workshop on Formal Methods.6th Workshop on Formal Methods. 2003. (Simpósio).
7th Brazilian Symposium on Programing Languages.7th Brazilian Symposium on Programing Languages. 2003. (Simpósio).
International Workshop on Information Integration on the Web ? Technologies and Applications. 2001. (Outra).
International Workshop on Information Integration on the Web ? Technologies and Applications. 2000. (Simpósio).
I Semana de Banco de Dados. 1999. (Outra).
Java Brasil. 1999. (Encontro).
VII Simpósio de Computadores Tolerantes a Falhas. 1997. (Simpósio).
XI Simpósio Brasileiro de Engenharia de Software. 1997. (Simpósio).
Participação em bancas
MASSONI, T. L.;Ramalho, F.; ALVES, E. L. G.; MIRANDA, B. A. F.. Relating Bug Report Fields with Resolution Status: a Case Study with Bugzilla. 2023. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, F.; MASSONI, T. L.; BARBOSA, P. E. E. S.. Uma Abordagem para Avaliar a Expressividade de Gramáticas de Linguagens Específicas de Domínio: Um Estudo de Caso com SQL. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, F.; Massoni, T.; ALVES, E.;BARBOSA, L. A.. Improving Traceability Recovery Between Bug Reports and Manual Test Cases. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, Franklin.BRUNET, J.; KULESZA, U.. Uma Abordagem para Classificação e Sugestão de Atualizações em Máquinas de Estado a partir de Mudanças no Código-Fonte. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, Franklin; Massoni, T.;ALVES, EVERTON L. G.; LINO, N. C. Q.. An Approach for Traceability Recovery between Bug Reports and Test Cases. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, F.ALVES, EVERTON L. G.; Barbosa, Paulo E. S.. Uma Abordagem para Classificar Bugs sob a Perspectiva de Máquina de Estados. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Massoni, T.;Ramalho, F.ANDRADE, W.; IYODA, J. M.. GIRL: Uma Linguagem de Modelagem e Verificação de Requisitos de Invariantes. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
KULESZA, U.; MEDEIROS, S. Q.; PINTO, F. A. P.;RAMALHO, F.. Uma Linguagem de Domínio Específico Extensível para Geração de Testes de Desempenho. 2016. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
RAMALHO, F.; MARINHO, L. B.; MASSONI, T. L.;MACIEL, R. S. P.. Recommender Systems for UML Class Diagrams. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
RAMALHO, F.; MASSONI, T. L.; KULESZA, U.. Uma Linguagem de Aspectos para QVT. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
RAMALHO, F.ANDRADE, W.; COELHO, R. S.;GUERRERO, D.. Uma Abordagem para Representação e Rastreio de Artefatos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
RAMALHO, F.; FARIAS, A. C.; MACHADO, P. D. L.; CARVALHO JUNIOR, F. H.. Uma Abordagem para a Construção das Etapas de Análise de um Complilador. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
BEZERRA, E. P.; SIEBRA, C. A.; LINO, N. C. Q.;RAMALHO, F.. Uma Abordagem para Identificação Semântica de Domínios de Aplicação em Ambientes de Convergência Digital. 2013. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.
KULESZA, U.; AQUINO JUNIOR, G. S.;RAMALHO, F.. Um Método para Desenvolvimento de Abordagens Generativas com Composição de Linguagens Específicas de Domínio. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
PIRES, C. E. S.; MASSONI, T. L.;RAMALHO, F.; MONTEIRO FILHO, J. M. S.. Uma Abordagem para Análise Estática Automática de Procedimentos Armazenados em Bancos de Dados. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, Franklin.; FARIAS, A. C.; GARCIA, V. C.. MetaTT - Uma Abordagem Baseada em Metamodelos para a Escrita de Transformações de Modelo para Texto. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
MOTA, A. C.;Ramalho, Franklin.; ALENCAR, F.; FIDALGO, R. N.. Um Metamodelo e uma Ferramenta CASE para o Modelo EER. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
GARCIA, V. C.;Ramalho, Franklin.ROBIN, J.. Geração Automática de Código Estrutural e de Implantação em Nuvem Computacional de Aplicação Web. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
GARCIA, V. C.;Ramalho, Franklin.ROBIN, J.. Full Behavioral Java Code Generation from Imperative Object Constraint Language Expressions in Platform-Independent UML Model. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MACHADO, P. D. L.Ramalho, Franklin.; Hyggo Oliveira de Almeida; COELHO, R. S.. Usando MDA e MDT para Modelagem e Geração Automática de Arquiteturas de Teste para Sistemas de Tempo Realmpo Real. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
CORNELIO, M. L.;Ramalho, Franklin.; SAMPAIO, A.. Integrando SOA e MDE em um Processo Sistemático de Desenvolvimento de Software. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
BRAGA, C.;Ramalho, Franklin.; MURTA, L. G. P.. Aplicações de Contratos de Transformação. 2011. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.
Ramalho, Franklin.GUERRERO, D.; DANTAS, A.. P. Rabelo Júnior. Verificação de conformidade entre Diagramas de Sequência UML e Código Java. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
MACHADO, P. D. L.; CARTAXO, E. G.;Ramalho, Franklin.; IYODA, J. M.. Análise Comparativa entre Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificação. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, Franklin.Jorge C. A. de FigueiredoMACIEL, R. S. P.. Identificação de Diretrizes para a Construção de Meta-modelos na Infra-estrutura MDA. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
MACHADO, P. D. L.Ramalho, Franklin.; Massoni, T.; KULESZA, U.. Uma Abordagem Dirigida por Modelos para a Geração Automática de Casos de Teste de Integração usando Padrões de Teste. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
TEDESCI, P. C. A. R.;Ramalho, Franklin.; Flávia de Almeida Barros. WhatMatter: Extração e Visualização de Características em Opiniões sobre Serviços. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MACHADO, P. D. L.Ramalho, Franklin.Jorge C. A. de Figueiredo; ARANHA, E.. Automação da Técnica de Inspeção Guiada para Conformidade entre Requisitos e Diagramas UML. 2010.
SANTOS, A.;BARROS, R. S. M.Ramalho, Franklin.. Plug and Trace: A Component-Based Approach to Specify and Implement Traces. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Ramalho, Franklin.GUERRERO, D.; Massoni, T.; Pires, P.. Verificação de Artefatos de Diagramas de Classe UML através da Aplicação de Testes de Design. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, Franklin.; FREITAS, F.; Flávia de Almeida Barros. NLScripts: Geração Assistida de Scripts de Testes a partir de Descrições em Linguagem Natural. 2008. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Ramalho, Franklin.; FREITAS, F.;ROBIN, J.. Towards Model-Driven Engineering Constraint-Based Scheduling Applications. 2008. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Ramalho, Franklin.; Vasconcelos, Alexandre; FERRAZ, C. A. G.. Um Perfil UML2 para Engenharia de Interfaces Gráficas Dirigida a Modelos e Baseada em Componentes. 2007. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Ramalho, F.; MARINHO, L. B.; CAMPELO, C. E. C.; MONTEIRO, J. A. B.;BARBOSA, L. A.; LIMA FILHO, F. J. C.. Explorando Características Sociais e de Colaboração na Recomendação de Projetos no Github. 2020. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.
GORENDER, S.; ANDRADE, A. M. S.; SANT´ANNA, C. N.; OLIVEIRA, T. C.;RAMALHO, F.. Sistematizando o Desenvolvimento de Transformações Modelo a Modelo em uma Abordagem Dirigida a Modelo. 2016. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
MACHADO, P. D. L.; MASSONI, T. L.; BORBA, P. H. M.;Ramalho, F.; Gheyi, R.. Early Detection of Manual Refactoring Faults. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.
RAMALHO, F.MACIEL, R. S. P.; KULESZA, U.;GUERRERO, D.; FARIAS, A. C.. Uma Abordagem para Análise de Impacto de Mudanças em Transformações de Modelos. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.
MACHADO, P. D. L.; BERTOLINO, A.;Jorge C. A. de FigueiredoRamalho, Franklin.; COELHO, R. S.; BORBA, P. H. M.. Strategies for Controlling the Size of Test Suite Generated from MBT Approaches. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.
Jorge C. A. de FigueiredoRamalho, Franklin.; Massoni, T.; Gheyi, R.; BRAGA, C.; Gomes, L.. MDA-VERITAS: Uma Arquitetura MDA Estendida para Transformações de Sistemas Concorrentes Preservadoras de Semântica. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.
FAGES, F.;Ramalho, Franklin.; ALVES, C.; Frederico Luiz Gonçalves de Freitas; SANTOS, A.. Model-Driven Engineering a Versatile, Extensible, Scalable Rule Engine through Component Assembly and Model Transformations. 2009. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
MOURA, H. P.; ALVES, C.; FERRAZ, C. A. G.;Ramalho, Franklin.; ALMEIDA, J. P. A.. Model-Driven Engineering Graphical User Interfaces. 2009. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Ramalho, Franklin.; MARINHO, L. B.; MONTEIRO, J. A. B.; ANDRADE, N. F.;BARBOSA, L. A.; FIGUEIREDO, F. V. D.. Uma Abordagem de Filtragem Colaborativa para Recomendação de Colaboradores no Github. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.
MACHADO, P. D. L.; MASSONI, T. L.; COELHO, R. S.; KIM, M.; Gheyi, R.;RAMALHO, F.. Test Case Prioritization for Refactoring Validation. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.
MACIEL, R. S. P.; SANT´ANNA, C. N.; ANDRADE, A. M. S.;RAMALHO, FRANKLIN. Um Framework Conceitual para Desenvolvimento de Transformações de Modelos. 2013. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
FERRAZ, C. A. G.; ALVES, C.;Ramalho, Franklin.. Model Driven Engineering Graphical User Interface. 2009. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Ramalho, Franklin.Jorge C. A. de Figueiredo; Massoni, T.;ROBIN, J.; Gheyi, R.; Gomes, L.. Uma Arquitetura MDA Estendida para Transformações Preservadoras de Semânticas. 2009. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.
MONTEIRO, J. A. B.;Ramalho, F.; MASSONI, T. L.; ALVES, E. L. G.. Aplicação do Modelo BERT para Detecção de Bug Reports Similares. 2022.
MASSONI, T. L.;Ramalho, F.; MONTEIRO, J. A. B.; ALVES, E. L. G.. Investigating Bug Reports Resolution on Bugzilla. 2022. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, F. S.; MASSONI, T. L.; ALVES, E. L. G.. Uma Abordagem para Avaliações de Gramáticas de Domain-Specific Languages através de Métricas Quantitativas. 2020. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, F. S.; MASSONI, T. L.; ALVES, E. L. G.. Aperfeiçoando Técnicas de Recuperação de Rastreabilidade entre Bug Reports e Casos de Teste. 2019. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, F. S.; MASSONI, T. L.; ALVES, E. L. G.. Software Requirements Traceability based on UI-related Bug Reports. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, F. S.; ALVES, E. L. G.; MONTEIRO, J. A. B.. Classificação Automática de Bugs sob a Perspectiva de Máquinas de Estado. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, F. S.; ALVES, E. L. G.; MONTEIRO, J. A. B.. Identificando Atualizações em Máquinas de Estado por Meio de Alterações Realizadas no Código Fonte. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.
MASSONI, T. L.;Ramalho, F. S.; ANDRADE, W. L.; FARIAS, A. C.. Especificação e Verificação de Requisitos Formais - Português Controlado. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.
Ramalho, Franklin.; Priscila Selister;GUERRERO, D.. Implementação do Protótipo da Ferramenta Automock. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.
MACHADO, P.Schiel, U.Ramalho, Franklin.. Selecao e Geracao de Casos de Teste a partir de Diagramas de Estados Comportamentais UML 2.0. 2007. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computacao) - Universidade Federal de Campina Grande.
Joseana Macêdo Fechine;Ramalho, Franklin.; Hyggo Oliveira de Almeida. Projeto Easy: Uma API para desenvolvimento de aplicações para Plataforma Maemo.. 2007. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computacao) - Universidade Federal de Campina Grande.
Ramalho, Franklin.; Serey, D.; Jorge Abrantes. Geração Distribuída de Espaço de Estados no OurGrid. 2005. Trabalho de Conclusão de Curso (Graduação em Ciencias da Computacao) - Universidade Federal de Campina Grande.
SAUVE, J. P.; FIGUEIREDO, J. C. A.; LIMA FILHO, F. J. C.;Franklin, Ramalho. Concurso Público de Professor Adjunto do Departamento de Sistemas e Compuitação. 2013. Universidade Federal de Campina Grande.
Ramalho, Franklin.Schiel, U.; Melo, S.. Concurso Público para Docentes da Universidade Estadual da Paraíba - UEPB. 2009. Universidade Estadual da Paraíba.
Orientou
Investigando Abordagens de Engenharia de Sistemas Aplciadas em Ciência de Dados; Início: 2023; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande; (Orientador);
Aprimorando o Processo de Testes e Correção em Software através de Técnicas Automáticas para Escrita de Relatórios de Bugs; Início: 2023; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande; (Orientador);
Aplicação do Modelo BERT para Detecção de Bug Reports Similares; Início: 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande; (Coorientador);
Relating Bug Report Fields with Resolution Status: a Case Study with Bugzilla; 2023; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, ; Coorientador: Franklin de Souza Ramalho;
Uma Abordagem para Avaliar a Expressividade de Gramáticas de Linguagens Específicas de Domínio: Um Estudo de Caso com SQL; ; 2022; 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: Franklin de Souza Ramalho;
Improving Traceability Recovery Between Bug Reports and Manual Test Cases; 2020; 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: Franklin de Souza Ramalho;
Uma Abordagem para Classificar Bugs sob a Perspectiva de Máquina de Estados; 2019; 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: Franklin de Souza Ramalho;
An Approach for Traceability Recovery between Bug Reports and Test Cases; 2019; 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: Franklin de Souza Ramalho;
Uma Abordagem para Classificação e Sugestão de Atualizações em Máquinas de Estado a partir de Mudanças no Código-Fonte; 2019; 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: Franklin de Souza Ramalho;
GIRL: Uma Linguagem de Modelagem e Verificação de Requisitos Invariantes; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, ; Coorientador: Franklin de Souza Ramalho;
Recommender Systems for UML Class Diagrams; 2016; 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: Franklin de Souza Ramalho;
Uma Linguagem de Aspectos para QVT; 2016; 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: Franklin de Souza Ramalho;
Um Framework para Construção de Compiladores; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, ; Orientador: Franklin de Souza Ramalho;
Uma Abordagem para Representação e Rastreio de Artefatos; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, ; Orientador: Franklin de Souza Ramalho;
MetaTT - Uma Abordagem Baseada em Metamodelos para a Escrita de Transformações de Modelo para Texto; 2012; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, ; Orientador: Franklin de Souza Ramalho;
Verificação de conformidade entre Diagramas de Sequência UML e Código Java; 2011; 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: Franklin de Souza Ramalho;
Usando MDA e MDT para Modelagem e Geração Automática de Arquiteturas de Teste para Sistemas de Tempo Realmpo Real; 2011; 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: Franklin de Souza Ramalho;
Identificação de Diretrizes para a Construção de Meta-modelos na Infra-estrutura MDA; 2010; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, ; Orientador: Franklin de Souza Ramalho;
Uma ABordagem Dirigida por Modelos para Geração Automática de Casos de Teste usando Padrões de Testes; 2010; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Franklin de Souza Ramalho;
Automação da Técnica de Inspeção Guiada para Conformidade entre Requisitos e Diagramas UML; 2010; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Franklin de Souza Ramalho;
Verificação de Artefatos de Diagramas de Classe UML através da Aplicação de 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: Franklin de Souza Ramalho;
Explorando Características Sociais e de Colaboração na Recomendação de Projetos no Github; 2020; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, ; Orientador: Franklin de Souza Ramalho;
Uma Abordagem para Análise de Impacto de Mudanças em Transformações de Modelos; 2014; 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: Franklin de Souza Ramalho;
MDA-VERITAS: Uma Arquitetura MDA Estendida para Transformações de Sistemas Concorrentes Preservadoras de Semântica; 2011; 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: Franklin de Souza Ramalho;
Sistema de Recomendação de Bug Reports Similares utilizando o BERT; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
ConnectBug: Sistema para Gerar e Gerenciar Bug Report de Aplicativos Mobiles; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Método de Estruturação dos Passos de Reprodução em Bug Reports; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Investigando Abordagens para Melhorias na Escrita de Relatórios de Bugs; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Investigando Bugs Reabertos: Um Estudo de Caso no Bugzilla; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Investigando Mudanças em Relatórios de Bugs no Bugzilla; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Recomendação de Projetos do Github por meio de Algoritmos de Learning to Rank; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Using a Thesaurus in Traceability Recovery between Bug Reports and Test Cases; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Aplicando Algoritmos de Learning to Rank sobre Features no GitHub para Recomendação de Projetos; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Estudo Comparativo de Ferramentas de Apoio a Compiladores: JFLEX, XTEXT e CUP; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Selecao e Geracao de Casos de Teste a partir de Diagramas de Estados Comportamentais UML 2; 0; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciencias da Computacao) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Suporte a uma Linguagem Visual para Análise Automática de Requisitos de Software; 2018; Iniciação Científica - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Franklin de Souza Ramalho;
Concepção e Construção de um Framework para Avaliação de Sistemas de Recomendação de Artefatos de Projeto de Software; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Franklin de Souza Ramalho;
Uma Abordagem Baseada em Análise Dinâmica para Análise de Impacto de Mudanças em Transformações ATL; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Franklin de Souza Ramalho;
Uma Técnica Para a Extração de Rastros de Execução de Transformações ATL; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Franklin de Souza Ramalho;
Extensão do Framework WSMDA para Transformações Textuais e Outros Serviços; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Franklin de Souza Ramalho;
Criação e Desenvolvimento de um Framework de integração de Operações MDA com WebServices; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Franklin de Souza Ramalho;
Desenvolvimento e Extensão de uma Ferramenta de Mineração de Dados para Descoberta de Padrões em Meta-Modelos MOF; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Franklin de Souza Ramalho;
Geração de Sintaxe Concreta Java a partir de Modelos UML; 2009; Iniciação Científica; (Graduando em Ciencias da Computacao) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Investigação e Implementação de Técnicas de Mineração de Dados para Descoberta de Padrões em MDA; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Franklin de Souza Ramalho;
Estudo comparativo de Ferramentas voltadas para o Desenvolvimento Dirigido por Modelos; 2007; Iniciação Científica; (Graduando em Ciencias da Computacao) - Universidade Federal de Campina Grande; Orientador: Franklin de Souza Ramalho;
Produções bibliográficas
-
GADELHA, GUILHERME ; Ramalho, Franklin ; MASSONI, TIAGO . Traceability recovery between bug reports and test cases-a Mozilla Firefox case study. Automated Software Engineering , v. 28, p. 8, 2021.
-
VIDAL, MARZINA ; MASSONI, TIAGO ; Ramalho, Franklin . A domain-specific language for verifying software requirement constraints. SCIENCE OF COMPUTER PROGRAMMING , v. 197, p. 102509, 2020.
-
VIEIRA, ANDREZA ; Ramalho, Franklin . Towards Measuring the Change Impact in ATL Model Transformations. International Journal of Software Engineering and Knowledge Engineering , v. 26, p. 153-181, 2016.
-
ROCHA, ANNE CAROLINE O. ; Ramalho, Franklin ; MACHADO, PATRÍCIA D. L. . Automating test-based inspection of design models. Software Quality Journal (Online) , v. 23, p. 3-28, 2015.
-
ALVES, EVERTON L. G. ; MACHADO, PATRICIA D. L. ; Ramalho, Franklin . Automatic generation of built-in contract test drivers. Software & Systems Modeling , v. 13, p. 1141-1165, 2014.
-
Paulo E. S. Barbosa ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior ; Costa, A. ; Gomes, L. . Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science , v. 15, p. 2196-2224, 2009.
-
Ramalho, Franklin. ; ROBIN, J. . Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: Aplicação em um Engenho. RITA - Revista de Informática Teórica e Aplicada, v. 10, p. 09-28, 2004.
-
Ramalho, Franklin. ; ROBIN, J. ; Schiel, U. . Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class. Electronic Notes in Theoretical Computer Science, v. 95, p. 83-109, 2004.
-
Ramalho, Franklin. ; ROBIN, J. ; BARROS, R. S. M. . XOCL ? An XML language for specifying logical constraints in. JUCS - Journal of the Universal Computer Science, v. 9, n.8, p. 956-969, 2003.
-
BARBOSA, L. A. ; Ramalho, Franklin. ; SALGADO, A. C. . Atualizando Informação Dinâmica na Web: o caso doconteúdo. Revista de Informática Teórica e Aplicada , Porto Alegre, Brasil, v. 9, n.3, p. 59-72, 2002.
-
Costa, Anikó ; Barbosa, Paulo E. S. ; Moutinho, Filipe ; Pereira, Fernando ; Ramalho, Franklin ; Figueiredo, Jorge C. A. ; Gomes, Luis . MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models.. In: Zhiwu Li; Abdulrahman M. Al-Ahmari. (Org.). Formal Methods in Manufacturing Systems: Recent Advances. 1ed.Hershey, PA: IGI Global, 2013, v. 1, p. 112-135.
-
Paulo E. S. Barbosa ; BARROS, J. P. ; Ramalho, Franklin. ; Gomes, L. ; Jorge C. A. de Figueiredo ; Moutinho, F. ; Costa, A. ; MONTEIRO, A. . SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. In: Luis M. Camarinha-Matos. (Org.). Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. : Springer Boston, 2011, v. 349, p. 256-265.
-
Moutinho, F. ; Gomes, L. ; Paulo E. S. Barbosa ; BARROS, J. P. ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Costa, A. ; MONTEIRO, A. . Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. In: Luis M. Camarinha-Matos. (Org.). Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. : Springer Boston, 2011, v. 349, p. 237-245.
-
Costa, A. ; Paulo E. S. Barbosa ; Gomes, L. ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior . Properties Preservation in Distributed Execution of Petri Nets Models. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis (Eds.). (Org.). Emerging Trends in Technological Innovation. 1ed.Boston: Springer, 2010, v. 314, p. 241-250.
-
Paulo E. S. Barbosa ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Costa, A. ; Gomes, L. ; Antonio D. dos S. Junior . Semantic Equations for Formal Models in the Model-Driven Architecture. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis. (Org.). Emerging Trends in Technological Innovation. 1ed.Boston: Springer, 2010, v. 314, p. 251-260.
-
CALIXTO, FELIPE ; Ramalho, Franklin ; MASSONI, TIAGO ; FERREIRA, JOSÉ . Investigating Bug Report Changes in Bugzilla. In: 25th International Conference on Enterprise Information Systems, 2023, Prague. Proceedings of the 25th International Conference on Enterprise Information Systems, 2023. v. 2. p. 55-64.
-
CARNEIRO, GUILHERME ; FERREIRA, JOSÉ ; Ramalho, Franklin ; MASSONI, TIAGO . Similar Bug Reports Recommendation System using BERT. In: SBES 2023: XXXVII Brazilian Symposium on Software Engineering, 2023, Campo Grande Brazil. Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 2023. p. 378-387.
-
DE OLIVEIRA BARBOSA, MATHEUS ; Ramalho, Franklin . An Approach to Identify and Classify State Machine Changes from Code Changes. In: SBCARS '20: 14th Brazilian Symposium on Software Components, Architectures, and Reuse, 2020, Natal Brazil. Proceedings of the 14th Brazilian Symposium on Software Components, Architectures, and Reuse. New York: ACM, 2020. p. 111-120.
-
SANTOS, LUCAS RANIÉRE JUVINO ; GADELHA, GUILHERME ; Ramalho, Franklin ; MASSONI, TIAGO . Improving Traceability Recovery Between Bug Reports and Manual Test Cases. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020. p. 293-302.
-
CERQUEIRA, T. ; MARINHO, L. ; RAMALHO, F. . Feature Evaluation for Project Preferences Representation in GitHub. In: 15th International Conference on Machine Learning and Data Mining, MLDM 2019, 2019, New York, USA. Proceedings, Machine Learning and Data Mining in Pattern Recognition, 2019. v. II. p. 655-668.
-
VIDAL, M. ; Massoni, T. ; Ramalho, F. . A Domain-Specific Language for Verifying Software Requirement Constraints. In: Brazilian Symposium on Formal Methods (SBMF), 2019, São Paulo. Preprint for the 2019 Brazilian Symposium on Formal Methods, 2019.
-
CERQUEIRA, T. ; MARINHO, L. ; Ramalho, Franklin. . A Content-Based Approach for Recommending UML Sequence Diagrams. In: The 28th International Conference on Software Engineering & Knowledge Engineering, 2016, Redwood City. Proceedings of the 28th International Conference on Software Engineering & Knowledge Engineering, 2016. p. 644-649.
-
MARQUES, ARTHUR ; Ramalho, Franklin ; ANDRADE, WILKERSON L. . TRL. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. New York: ACM Press. p. 1358-1363.
-
MARQUES, ARTHUR ; Ramalho, Franklin ; ANDRADE, WILKERSON L. . Towards a requirements traceability process centered on the traceability model. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. New York: ACM Press. p. 1364-1369.
-
MARQUES, ARTHUR ; RAMALHO, F. ; ANDRADE, WILKERSON L. . SORTT - A Service Oriented Requirements Traceability Tool. In: Brazilian Conference on Software: Theory and Practice - Sessão de Ferramentas, 2015, Belo Horizonte. Proceedings of the Brazilian Conference on Software: Theory and Practice - Sessão de Ferramentas, 2015. p. 121-128.
-
MARQUES, ARTHUR ; Ramalho, Franklin ; ANDRADE, WILKERSON L. . Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study. In: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2014, OH. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops. p. 264-273.
-
VIEIRA, A. ; RAMALHO, F. . Metrics to Measure the Change Impact in ATL Model Transformations. In: PROFES 2014: The 15th International Conference on Product-Focused Software Process Improvement, 2014, Helsinki. PROFES 2014: The 15th International Conference on Product-Focused Software Process Improvement, 2014. v. 8892. p. 254-268.
-
SILVA, B. C. ; MACIEL, R. S. P. ; RAMALHO, F. . Evaluating Maintainability of MDA Software Process Models. In: The 14 International Conference on Product-Focused Software Development and Process Improvement, 2013, Paphos. Proceedings of the 14 International Conference on Product-Focused Software Development and Process Improvement, 2013. v. 7983. p. 199-213.
-
LEDO, A. ; RAMALHO, F. ; MELO, N. V. . MetaTT - A Metamodel Based Approach for Writing Textual Transformations. In: SBCARS- Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software, 2012, nATAL. Proceedings of SBCARS- Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software, 2012.
-
VIEIRA, C. ; RAMALHO, F. . WSMDA Um Framework para Executar Transformações MDA como Web Services. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão de Ferramentas, 2012. Anais do Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão de Ferramentas, 2012.
-
GONDIM, D. ; RAMALHO, F. ; FARIAS, A. . UCL Uma Linguagem Unificada para Construção de Compiladores. In: II Workshop de Teses e Dissertações do CBSoft, 2012, Natal. Anais do II Workshop de Teses e Dissertações do CBSoft, 2012.
-
VIEIRA, A. ; RAMALHO, F. . Identifying Guidelines for Constructing Metamodels. In: III Brazilian Workshop on Model-Driven Software Development, 2012, Natal. Proceedings of the III Brazilian Workshop on Model-Driven Software Development, 2012.
-
RABELO JUNIOR, S. ; RAMALHO, F. ; Serey, D. . Design Tests for Verifying UML Sequence Diagrams against Java Code. In: III Brazilian Workshop on Model-Driven Software Development, 2012, Natal. Proceedings of the III Brazilian Workshop on Model-Driven Software Development, 2012.
-
VIEIRA, A. ; Ramalho, Franklin. . A Static Analyser for Model Transformations. In: 3rd International Workshop on Model Transformation with ATL (co-located with TOOLS 2011 Federated Conferences), 2011, Zurich. Proceedings of the 3rd International Workshop on Model Transformation with ATL, 2011. v. 742. p. 75-88.
-
ALVES, E. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Diretrizes para Modelagem Independente de Plataforma de Sistemas de Tempo Real usando UML. In: SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011, São Paulo. Anais do SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011.
-
ALVES, E. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Arquiteturas de Teste para Sistemas de Tempo Real. In: SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011, São Paulo. Anais do SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011.
-
VIEIRA, C. ; PAES, C. ; Ramalho, Franklin. . WSMDA - A Framework to Provide MDA Operations as Web Services. In: Brazilizan Workshop on Model-Driven Software Development, 2011, São Paulo. Proceeding of the II Brazilizan Workshop on Model-Driven Software Development, 2011.
-
Paulo E. S. Barbosa ; Costa, A. ; Gomes, L. ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior . A MDA-based Contribution for Integrating Web Services within Embedded System?s Design. In: 8th IEEE International Conference on Industrial Informatics, 2010, Osaka. Proceedings of the 8th IEEE International Conference on Industrial Informatics, 2010.
-
Moutinho, F. ; Gomes, L. ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; BARROS, J. P. ; Paulo E. S. Barbosa ; PAES, R. ; Costa, A. . Ecore Representation for Extending PNML for Input-Output Place-Transition Nets. In: 36th Annual Conference of the IEEE Industrial Electronics Society, 2010, Phoeniz, AZ. Proceedings of the 36th Annual Conference of the IEEE Industrial Electronics Society, 2010.
-
VIEIRA, A. ; Ramalho, Franklin. ; MACHADO, P. ; LEAL, F. . Applying Data Mining Techniques to Semi-Automatically Discover Guidelines for Metamodels. In: I Brazilian Workshop On Model-Driven Development, 2010, Salvador. Proceeding of theI Brazilian Workshop On Model-Driven Development, 2010.
-
LEDO, A. ; MELO, N. ; Ramalho, Franklin. . Guidelines for Improving Model To Text Transformations. In: I Brazilian Workshop On Model-Driven Development, 2010, Salvador. Proceeding of the I Brazilian Workshop On Model-Driven Development, 2010.
-
NETO, W. ; Ramalho, Franklin. ; LEDO, A. ; GUERRERO, D. . Checking UML Design Patterns in Java Implementations. In: Brazilian Symposium on Software Components, Architectures and Reuse, 2010, Salvador. Proceedings of the SBCARS 2010, 2010.
-
ROCHA, A. C. O. ; MACHADO, P. ; Ramalho, Franklin. . Automating Inspection of Design Models Guided by Test Cases. In: 22 IFIP International Conference on Testing Software and Systems, 2010, Natal. Proc. of the 22 IFIP International Conference on Testing Software and Systems, 2010.
-
ALVES, E. ; MACEDO, A. ; ANDRADE, W. ; MACHADO, P. ; Ramalho, Franklin. . Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS. In: 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010, Natal. Proceedings of the 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010.
-
MACIEL, C. L. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Automação de Padrões de Teste para a Geração de Casos de Teste de Integração usando MDA. In: VIII Latin American Conference on Pattern Languages of Programming, 2010, Salvador. VIII Latin American Conference on Pattern Languages of Programming, 2010.
-
MACIEL, C. L. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Uma Técnica MDT para a Geração Automática de Casos de Teste Usando Padrões de Teste. In: SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009, Gramado. SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009. p. 1-10.
-
ROCHA, A. C. O. ; MACHADO, P. D. L. ; Ramalho, Franklin. . Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. In: III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2009, Natal. Anais do III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2009.
-
Paulo E. S. Barbosa ; Costa, A. ; Jorge C. A. de Figueiredo ; Ramalho, Franklin. ; Gomes, L. ; Antonio D. dos S. Junior . Modeling Complex Petri Nets Operations in the Model-Driven Architecture. In: The 35th Annual Conference of the IEEE Industrial Electronics Society, 2009, Porto. Proceedings of the 35th Annual Conference of the IEEE Industrial Electronics Society, 2009.
-
NETO, W. ; BRUNET, J. ; Ramalho, Franklin. ; GUERRERO, D. . UML-based Design Test Generation. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. 23rd Annual ACM Symposium on Applied Computing - The Software Engineering Track, 2008. v. 1. p. 735-740.
-
Paulo E. S. Barbosa ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior . Incorporating Semantic Algebra in the MDA Framework. In: Third ICSOFT - International Conference on Software and Data Technologies, 2008, Porto. ICSOFT 2008 - Third International Conference on Software and Data Technologies, 2008. p. 330-336.
-
NETO, W. ; Ramalho, Franklin. ; Serey, D. ; LEDO, A. . UDT - Uma Ferramenta para Geração de Testes de Design. In: II Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas. Anais do II SAST, 2008. p. 64-73.
-
ALVES, E. ; MACHADO, P. ; Ramalho, Franklin. . Uma Abordagem Integrada para Desenvolvimento e Testes Dirigidos por Modelos. In: II Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas. II Brazilian Workshop on Systematic and Automated Software Testing, 2008. p. 74-83.
-
Paulo E. S. Barbosa ; Ramalho, Franklin. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior . An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. In: 32nd Annual IEEE Software Engineering Workshop (SEW 2008), 2008, Kassandra. Proceeedings of the 32nd Annual IEEE Software Engineering Workshop (SEW 2008), 2008.
-
Ramalho, Franklin. ; ROBIN, J. ; BLANC, X. . Reconciling Model-Driven, Agile and Formal Development by Model Transformations from UML/OCL PIMs to Object-Oriented Logic Programs. In: Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Simpósio Brasileiro de Métodos Formais, 2007. p. 38-53.
-
LIMA, H. ; Ramalho, Franklin. ; MACHADO, P. ; ALVES, E. . Automatic Generation of Platform Independent Built-in Contract Testers. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2007, Campinas. Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2007. p. 47-60.
-
LIMA, H. ; ALVES, E. ; Ramalho, Franklin. . Seleção e Geração Automática de Casos de Teste a partir de Diagramas de Máquina de Estados Comportamentais UML 2. In: st Brazilian Workshop on Systematic and Automated Software Testing, 2007, João Pessoa. st Brazilian Workshop on Systematic and Automated Software Testing, 2007.
-
BLANC, X. ; Ramalho, Franklin. ; ROBIN, J. . Metamodel Reuse with MOF. In: MODELS/UML, 2005, Montego Bay. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005. p. 661-675.
-
Ramalho, Franklin. ; ROBIN, J. . Mapping UML Class Diagrams to Object-Oriented Logic Programs for Formal Model-Driven Development. In: 3rd Workshop in Software Model Engineering - WiISME, 2004, Lisboa. 3rd Workshop in Software Model Engineering - WiISME Proceedings, 2004.
-
Ramalho, Franklin. ; ROBIN, J. ; Schiel, U. . Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class. In: 6th Workshop on Formal Methods, 2003, Campina Grande - PB. 6th Workshop on Formal Methods, 2003. p. 59-74.
-
Ramalho, Franklin. ; ROBIN, J. ; BARROS, R. S. M. . XOCL ? An XML language for specifying logical constraints in. In: 7th Brazilian Symposium on Programing Languages, 2003, Ouro Preto - MG. VII Simposio Brasileiro de Linguagens de Programação, 2003. p. 243-268.
-
ROBIN, J. ; Ramalho, Franklin. . Can Ontologies Improve Web Search Engine Effectiveness Before the Advent of the Semantic Web?. In: 18th Brazilian Symposium on Databases, 2003, Manaus. 18 Simposio Brasileiro de Banco de Dados, 2003. p. 157-169.
-
BARBOSA, L. A. ; SALGADO, A. C. ; T. NETO, M. C. ; Ramalho, Franklin. . Dynamic Indexing of Information in the Web: The Case of News. In: IRMA International Conference, 2003, Philadelphia. 2003 Information Management Association International Conference, 2003. p. 279-282.
-
ROBIN, J. ; Ramalho, Franklin. . Empirically evaluating WordNet-based query expansion in a web search engine setting. In: International Workshop on Information Retrieval, 2001, Oulu. International Workshop on Information Retrieval, 2001. p. 80-89.
-
Ramalho, Franklin. ; Schiel, U. . Desenvolvimento de um Sistema de COnsultas ao Acervo da MINIBLIO - SiCAMI. In: V Encontro de Iniciacao Cientifica da Paraiba, 1997, Joao Pessoa. V Encontro de Iniciacao Cientifica da Paraiba, 1997. p. 28-28.
Outras produções
Ramalho, Franklin. . MODELOG - Model-Oriented Development with Executable Logical Object Generation. 2007.
Ramalho, Franklin. . Avaliação empírica da Expansâo Automática de Consultas através de sinônimos e hipérnimos em Engenhos de Busca. 2000.
Ramalho, Franklin. . MDA: Princípios, Técnicas e Ferramentas. 2011. (Curso de curta duração ministrado/Outra).
Ramalho, Franklin. . MDA e Geração de Código. 2008. (Curso de curta duração ministrado/Outra).
MACHADO, P. ; Ramalho, Franklin. ; LIMA, H. . Integrando Desenvolvimento e Testes Dirigidos por Modelos. 2007. (Curso de curta duração ministrado/Outra).
Ramalho, Franklin. . MODELOG - Automated Code Generation from UML Models. 2006. (Palestra de 1 hora proferida no WIRE - Workshop para Introducao do Reuso).
Ramalho, Franklin. ; ROBIN, J. . OCL - Object Constraint Language. 2003. (Curso de curta duração ministrado/Outra).
Ramalho, Franklin. . Programação em INFORMIX-4GL. 1997. (Curso de curta duração ministrado/Outra).
Projetos de pesquisa
-
2009 - 2011
Verificação Semântica em Transformações MDA Envolvendo Modelos de Redes de Petri, Descrição: O objetivo principal do projeto de colaboração é o de explorar sinergias resultantes da interação de três trabalhos de teses de doutorado atualmente em curso sob a supervisão do Grupo de Métodos Formais da UFCG e Do Grupo de Pesquisa da UNINOVA/Portugal. Dois desses na equipe portuguesa e um na equipe brasileira. O trabalho de doutorado do lado brasileiro explora um problema em aberto na Arquitetura Dirigida por Modelos, que é a falta de garantia da preservação da semântica do modelo nas transformações entre modelos providas por esta arquitetura. Do lado português, os dois trabalhos de doutorado estão inseridos no contexto no projeto FORDESIGN (projeto da UNINOVA), sob responsabilidade da UNINOVA, cujo intuito é utilizar redes de Petri como linguagem central para construção de modelos dos sistemas. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (3) . , Integrantes: Franklin de Souza Ramalho - Integrante / Jorge C. A. de Figueiredo - Coordenador / Luis Filipe dos Santos Gomes - Integrante., Financiador(es): Fundação para a Ciência e a Tecnologia - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
-
2008 - 2012
Desenvolvimento de Metodologia, Técnicas e Ferramentas de Engenharia de Software para Aplicações Interativas de TV Digital, Descrição: O objetivo central desse projeto de cooperação científica é promover o intercâmbio entre membros (professores, pesquisadores, doutorandos, mestrandos e alunos de iniciação científica) de grupos de pesquisa atuando na área de TV Digital.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Franklin de Souza Ramalho - Integrante / Carlos André Guimarães Ferraz - Coordenador / Patrícia Duarte Lima Machado - Integrante / Uirá Kulesza - Integrante / Jair Leite - Integrante / Thaís Batista - Integrante / Paulo Borba - Integrante / Nelson Souto Rosa - Integrante / Mario Fried - Integrante / Graça Bressan - Integrante / Regina Melo Silveira - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
-
2008 - 2010
Especificação e Geração Automática de Testes de Design para Verificação de Conformidade entre Diagramas de Classe UML e Código Java, Descrição: Neste projeto propomos a investigação e consolidação de uma técnica totalmente automática para executar verificação de conformidade entre design de software e sua implementação. Estamos propondo uma abordagem MDA (Model-Driven Architecture) para gerarmos automaticamente testes de design. Testes de design são testes que checam se as regras de design - especificadas e inerentes ao design - são respeitadas no código produzido. Em particular, vamos focar em designs especificados através de UML e código Java produzido, por serem as duas linguagens mais utilizadas para tais fins. A idéia é realizar esta verificação utilizando a própria linguagem de codificação (Java) como linguagem de especificação e execução dos testes de design. Como resultado, esperamos produzir (1) um conjunto representativo de testes de design cobrindo os principais elementos de um diagrama de classes UML; e (2) uma ferramenta capaz de gerar tais testes de forma automática para quaisquer diagramas de classe UML, tornando o processo de verificação transparente para os projetistas e desenvolvedores de software. Como forma de validação dos testes de design e também da ferramenta, vamos usar os testes de design como forma de verificação de design patterns conhecidos, como o singleton ou façade. Através deste projeto, vislumbramos acarretar impactos sócio-econômicos e técnico-científicos, dentre os quais (1) a disponibilização de metodologia, ferramentas CASE e testes de design para incorporação em diversas aplicações ; e (2) a capacitação de recursos humanos em diferentes tecnologias de ponta amplamente utilizadas no mercado e na academia, como UML, MDA e Java.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Franklin de Souza Ramalho - Coordenador / Dalton Serey - Integrante / Jorge C. A. de Figueiredo - Integrante / Rohit Gheyi - Integrante / Patrícia Duarte Lima Machado - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Apoio à Pesquisa do Estado da Paraíba - Auxílio financeiro.
Projetos de desenvolvimento
-
2010 - 2019
e-Pol, Descrição: Projeto de PD 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: Concluído; Natureza: Desenvolvimento. , Integrantes: Franklin de Souza Ramalho - Integrante / Tiago Lima Massoni - Integrante / Jorge Cesar Abrantes de Figueiredo - Integrante / João Arthur Brunet Monteiro - Integrante / Dalton Dario Sereu Guerrero - Coordenador / Eliane Cristina de Araújo - Integrante / Wilkerson de Lucena Andrade - Integrante.
Prêmios
2014
Best Paper Award of the 10th Workshop on Advances in Model Based Testing (A-MOST 2014), 10th Workshop on Advances in Model Based Testing (A-MOST 2014).
2007
Doutor em Ciências da Computação, UFPE.
2002
Primeiro Lugar na Seleção de Doutorado da UFPE em 2002, UFPE.
2002
Primeiro Lugar em Concurso para Docente Efetivo da Universidade Federal de Campina Grande (UFCG), Universidade Federal de Campina Grande (UFCg).
2001
Best Paper Award, University of Oulu / Infotech Oulu.
2000
Mestre em Informática, UFPE.
Histórico profissional
Endereço profissional
-
Universidade Federal de Campina Grande. , Av. Aprígio Veloso, s/n, bodocongó, 58109970 - Campina Grande, PB - Brasil, Telefone: (083) 21011429, URL da Homepage:
Experiência profissional
2002 - Atual
Universidade Federal de Campina GrandeVínculo: Servidor Público, Enquadramento Funcional: Professor do Magistério Superior, Regime: Dedicação exclusiva.
Atividades
-
07/2002
Pesquisa e desenvolvimento, Departamento de Sistemas e Computação (DSC).,Linhas de pesquisa
-
01/2002
Ensino, Ciencias da Computacao, Nível: Graduação,Disciplinas ministradas, Paradigmas de Linguagens de Programação, Seminários, Sistemas de Informação II, TECC (Desenvolvimento Dirigido por Modelos)
2000 - 2002
Radix S/AVínculo: Celetista, Enquadramento Funcional: engenheiro de software, Carga horária: 40
Atividades
-
04/2000 - 03/2002
Pesquisa e desenvolvimento, Radix S.A.,Linhas de pesquisa
1997 - 1997
Universidade Federal da ParaíbaVínculo: ESTAGIÁRIO, Enquadramento Funcional: ESTAGIÁRIO, Carga horária: 40
1997 - 1997
Universidade Federal da ParaíbaVínculo: Monitoria, Enquadramento Funcional: Monitor da Disciplina Intr. a Banco de Dados, Carga horária: 12
Outras informações:
Monitoria da disciplina "Introdução a Banco de Dados" no período letivo de 97.2
1997 - 1997
Universidade Federal da ParaíbaVínculo: Monitoria, Enquadramento Funcional: Monitor da Disciplina Banco de Dados, Carga horária: 12
Outras informações:
Monitor da disciplina "Banco de Dados" no período letivo de 97.2
1997 - 1997
Universidade Federal da ParaíbaVínculo: Monitoria, Enquadramento Funcional: Monitor da Disciplina Intr. a Banco de Dados, Carga horária: 12
Outras informações:
Monitoria da disciplina "Introdução a Banco de Dados"no período letivo de 97.2
1997 - 1997
Universidade Federal da ParaíbaVínculo: Bolsista de I.C., Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20
Outras informações:
Bolsista do programa PIBIC/CNPq/UFPB no período de Agosto de 1997 a Dezembro de 1997, participando do projeto ?Sistema de Apoio ao Processamento de Palavras-Chave?, sob orientação do Professor Ulrich Schiel, do Departamento de Sistemas e Computação (DSC).
1996 - 1997
Universidade Federal da ParaíbaVínculo: Monitoria, Enquadramento Funcional: Monitor da disciplina Org. de Computadores, Carga horária: 12
Outras informações:
Monitoria da Disciplina "Organizacao de Computadores" no periodo letivo de 96.2
1996 - 1997
Universidade Federal da ParaíbaVínculo: Bolsista de I.C., Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20
Outras informações:
Bolsista do programa PIBIC/CNPq/UFPB no período de Agosto de 1996 a Julho de 1997, participando do projeto ?Desenvolvimento de um Sistema de Consultas ao Acervo da Miniblio - SICAMI?, sob orientação do Professor Ulrich Schiel, do Departamento de Sistemas e Computação (DSC)
1996 - 1996
Universidade Federal da ParaíbaVínculo: Monitoria, Enquadramento Funcional: Monitor da Disciplina Org. de Computadores, Carga horária: 12
Outras informações:
Monitor da Disciplina "Organizacao de Computadores" no periodo 96.1
Atividades
-
08/1997 - 12/1997
Pesquisa e desenvolvimento, Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.,Linhas de pesquisa
-
08/1997 - 12/1997
Outras atividades técnico-científicas , Centro de Ciências e Tecnologia - Campus II, Centro de Ciências e Tecnologia - Campus II.,Atividade realizada, Monitoria da Disciplina "Introdução a Banco de Dados", no período letivo de 97.2.
-
08/1997 - 12/1997
Outras atividades técnico-científicas , Centro de Ciências e Tecnologia - Campus II, Centro de Ciências e Tecnologia - Campus II.,Atividade realizada, Monitoria da Disciplina "Banco de Dados", no período letivo de 97.2.
-
07/1997 - 12/1997
Estágios , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.,Estágio realizado, Desenvolvimento do Sistema de Informação do DSC - SISDSC.
-
03/1997 - 06/1997
Outras atividades técnico-científicas , Centro de Ciências e Tecnologia - Campus II, Centro de Ciências e Tecnologia - Campus II.,Atividade realizada, Monitoria da Disciplina "Introdução a Banco de Dados", no período letivo de 97.1.
-
10/1996 - 03/1997
Outras atividades técnico-científicas , Centro de Ciências e Tecnologia - Campus II, Centro de Ciências e Tecnologia - Campus II.,Atividade realizada, Monitoria da Disciplina "Organização de Computadores", no período letivo de 96.2.
-
05/1996 - 09/1996
Outras atividades técnico-científicas , Centro de Ciências e Tecnologia - Campus II, Centro de Ciências e Tecnologia - Campus II.,Atividade realizada, Monitoria da Disciplina "Organização de Computadores", no período letivo de 96.1.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Franklin de Souza Ramalho e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?