Franklin de Souza Ramalho

  • Endereço para acessar este CV: http://lattes.cnpq.br/2469816352786812
  • Última atualização do currículo em 26/03/2018


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. (Texto informado pelo autor)


Identificação


Nome
Franklin de Souza Ramalho
Nome em citações bibliográficas
Ramalho, F.;RAMALHO, F.;RAMALHO, FRANKLIN;Ramalho, Franklin.;Ramalho, F. S.;Franklin, Ramalho;Ramalho, Franklin

Endereço


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: www.dsc.ufcg.edu.br/~franklin


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


2002 - 2007
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
com período sanduíche em Université Pierre et Marie Curie (Orientador: Marie-Pierre Gervais).
Título: MODELOG - Model-Oriented Development with Executable Logical Object Generation, Ano de obtenção: 2007.
Orientador: 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.
1998 - 2000
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
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.
Orientador: Jacques Pierre Louis Robin.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1994 - 1998
Graduação em Ciencias da Computacao.
Universidade Federal de Campina Grande, UFCG, 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

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto II, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2007 - 2010
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2002 - 2007
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente I, Regime: Dedicação exclusiva.

Atividades

07/2002 - Atual
Pesquisa e desenvolvimento , Departamento de Sistemas e Computação (DSC), .

2002 - Atual
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)

Radix S/A, RADIX, Brasil.
Vínculo institucional

2000 - 2002
Vínculo: Celetista, Enquadramento Funcional: engenheiro de software, Carga horária: 40

Atividades

04/2000 - 03/2002
Pesquisa e desenvolvimento , Radix S.A., .


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

1997 - 1997
Vínculo: ESTAGIÁRIO, Enquadramento Funcional: ESTAGIÁRIO, Carga horária: 40

Vínculo institucional

1997 - 1997
Ví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

Vínculo institucional

1997 - 1997
Ví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

Vínculo institucional

1997 - 1997
Ví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

Vínculo institucional

1997 - 1997
Ví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).

Vínculo institucional

1996 - 1997
Ví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

Vínculo institucional

1996 - 1997
Ví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)

Vínculo institucional

1996 - 1996
Ví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.

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.


Linhas de pesquisa


1.
Desenvolvimento de Software para Web
2.
Métodos Formais
3.
Model-Driven Testing
4.
Model-Driven Architecture (MDA)
5.
Desenvolvimento Dirigido por Modelos
6.
Recuperação de Informação na Web


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): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Fundação para a Ciência e a Tecnologia - 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.
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.


Á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: Desenvolvimento Dirigido por Modelos.
2.
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.
3.
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.
4.
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.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Web Semântica.
6.
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.


Idiomas


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


Prêmios e títulos


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.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
VIEIRA, ANDREZA2016VIEIRA, 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.

2.
ROCHA, ANNE CAROLINE O.2015ROCHA, 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.

3.
ALVES, EVERTON L. G.2014ALVES, 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.

4.
Paulo E. S. Barbosa2009Paulo 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.

5.
Ramalho, Franklin.2004Ramalho, 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.

6.
Ramalho, Franklin.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.

7.
Ramalho, Franklin.2003Ramalho, 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.

8.
BARBOSA, L. A.2002BARBOSA, 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.

Capítulos de livros publicados
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
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.

34.
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.

35.
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.

36.
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.

37.
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.

38.
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.

39.
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.

40.
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.

41.
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.

42.
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.

Resumos publicados em anais de congressos
1.
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.


Produção técnica
Trabalhos técnicos
1.
Ramalho, Franklin.. MODELOG - Model-Oriented Development with Executable Logical Object Generation. 2007.

2.
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.


Demais tipos de produção técnica
1.
Ramalho, Franklin.. MDA: Princípios, Técnicas e Ferramentas. 2011. (Curso de curta duração ministrado/Outra).

2.
Ramalho, Franklin.. MDA e Geração de Código. 2008. (Curso de curta duração ministrado/Outra).

3.
MACHADO, P. ; Ramalho, Franklin. ; LIMA, H. . Integrando Desenvolvimento e Testes Dirigidos por Modelos. 2007. (Curso de curta duração ministrado/Outra).

4.
Ramalho, Franklin.. MODELOG - Automated Code Generation from UML Models. 2006. (Palestra de 1 hora proferida no WIRE - Workshop para Introducao do Reuso).

5.
Ramalho, Franklin.; ROBIN, J. . OCL - Object Constraint Language. 2003. (Curso de curta duração ministrado/Outra).

6.
Ramalho, Franklin.. Programação em INFORMIX-4GL. 1997. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
KULESZA, U.; MEDEIROS, S. Q.; PINTO, F. A. P.; RAMALHO, F.. Participação em banca de Thiago David dos Santos Marinho. 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.

2.
RAMALHO, F.; MARINHO, L. B.; MASSONI, T. L.; MACIEL, R. S. P.. Participação em banca de Saulo Soares de Toledo. Recommender Systems for UML Class Diagrams. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
RAMALHO, F.; MASSONI, T. L.; KULESZA, U.. Participação em banca de Carlos Artur Nascimento Vieira. Uma Linguagem de Aspectos para QVT. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
RAMALHO, F.; ANDRADE, W.; COELHO, R. S.; GUERRERO, D.. Participação em banca de Arthur de Sousa Marques. Uma Abordagem para Representação e Rastreio de Artefatos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
RAMALHO, F.; FARIAS, A. C.; MACHADO, P. D. L.; CARVALHO JUNIOR, F. H.. Participação em banca de Daniel Gondim Ernesto de Mélo. 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.

6.
PIRES, C. E. S.; MASSONI, T. L.; RAMALHO, F.; MONTEIRO FILHO, J. M. S.. Participação em banca de Dimas Cassimiro do Nascimento Filho. 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.

7.
BEZERRA, E. P.; SIEBRA, C. A.; LINO, N. C. Q.; RAMALHO, F.. Participação em banca de Amanda Drielly de Souza Pires. 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.

8.
KULESZA, U.; AQUINO JUNIOR, G. S.; RAMALHO, F.. Participação em banca de Edmilson Barbalho Campos Neto. 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.

9.
Ramalho, Franklin.; FARIAS, A. C.; GARCIA, V. C.. Participação em banca de Anderson Rodrigo Santos Bezerra Ledo. 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.

10.
MOTA, A. C.; Ramalho, Franklin.; ALENCAR, F.; FIDALGO, R. N.. Participação em banca de Elvis Maranhão de Souza. Um Metamodelo e uma Ferramenta CASE para o Modelo EER. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
GARCIA, V. C.; Ramalho, Franklin.; ROBIN, J.. Participação em banca de Thiago Araújo Silva de Oliveira. 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.

12.
GARCIA, V. C.; Ramalho, Franklin.; ROBIN, J.. Participação em banca de Marcellus Antonius de Castro Tavares. 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.

13.
MACHADO, P. D. L.; Ramalho, Franklin.; Hyggo Oliveira de Almeida; COELHO, R. S.. Participação em banca de Everton Leandro Galdino Alves. 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.

14.
CORNELIO, M. L.; Ramalho, Franklin.; SAMPAIO, A.. Participação em banca de Vitor Torres Braga. 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.

15.
BRAGA, C.; Ramalho, Franklin.; MURTA, L. G. P.. Participação em banca de Roberto Weidmann Menezes. Aplicações de Contratos de Transformação. 2011. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

16.
Ramalho, Franklin.; GUERRERO, D.; DANTAS, A.. Participação em banca de Sebastião E. 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.

17.
MACHADO, P. D. L.; CARTAXO, E. G.; Ramalho, Franklin.; IYODA, J. M.. Participação em banca de João Felipe Silva Ouriques. 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.

18.
Ramalho, Franklin.; Jorge C. A. de Figueiredo; MACIEL, R. S. P.. Participação em banca de Andreza de Sousa Vieira. 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.

19.
TEDESCI, P. C. A. R.; Ramalho, Franklin.; Flávia de Almeida Barros. Participação em banca de Henrique Borges Alencar Siqueira. 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.

20.
MACHADO, P. D. L.; Ramalho, Franklin.; Jorge C. A. de Figueiredo; ARANHA, E.. Participação em banca de Anne Caroline de Oliveira Rocha. Automação da Técnica de Inspeção Guiada para Conformidade entre Requisitos e Diagramas UML. 2010.

21.
SANTOS, A.; BARROS, R. S. M.; Ramalho, Franklin.. Participação em banca de Rafael Ferreira Oliveira. 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.

22.
MACHADO, P. D. L.; Ramalho, Franklin.; Massoni, T.; KULESZA, U.. Participação em banca de Camila de Luna Maciel. 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.

23.
Ramalho, Franklin.; GUERRERO, D.; Massoni, T.; Pires, P.. Participação em banca de Waldemar Pires Ferreira Neto. 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.

24.
Ramalho, Franklin.; FREITAS, F.; Flávia de Almeida Barros. Participação em banca de João dos Prazeres Farias. 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.

25.
Ramalho, Franklin.; FREITAS, F.; ROBIN, J.. Participação em banca de Fabricio de Siqueira Teles. 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.

26.
Ramalho, Franklin.; Vasconcelos, Alexandre; FERRAZ, C. A. G.. Participação em banca de Luiz Francisco Buarque de Lacerda Junior. 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.

Teses de doutorado
1.
GORENDER, S.; ANDRADE, A. M. S.; SANT´ANNA, C. N.; OLIVEIRA, T. C.; RAMALHO, F.. Participação em banca de Ana Patrícia Fontes Magalhães Mascarenhas. 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.

2.
MACHADO, P. D. L.; MASSONI, T. L.; BORBA, P. H. M.; Ramalho, F.; Gheyi, R.. Participação em banca de Everton Leandro Galdino Alves. Early Detection of Manual Refactoring Faults. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
RAMALHO, F.; MACIEL, R. S. P.; KULESZA, U.; GUERRERO, D.; FARIAS, A. C.. Participação em banca de Andreza de Sousa Vieira. 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.

4.
MACHADO, P. D. L.; BERTOLINO, A.; Jorge C. A. de Figueiredo; Ramalho, Franklin.; COELHO, R. S.; BORBA, P. H. M.. Participação em banca de Emanuela Gadelha Cartaxo. 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.

5.
Jorge C. A. de Figueiredo; Ramalho, Franklin.; Massoni, T.; Gheyi, R.; BRAGA, C.; Gomes, L.. Participação em banca de Paulo Eduardo e Silva Barbosa. 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.

6.
FAGES, F.; Ramalho, Franklin.; ALVES, C.; Frederico Luiz Gonçalves de Freitas; SANTOS, A.. Participação em banca de Jairson Vitorino dos Santos Filho. 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.

7.
MOURA, H. P.; ALVES, C.; FERRAZ, C. A. G.; Ramalho, Franklin.; ALMEIDA, J. P. A.. Participação em banca de Fábio Moura Pereira. Model-Driven Engineering Graphical User Interfaces. 2009. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Qualificações de Doutorado
1.
MACIEL, R. S. P.; SANT´ANNA, C. N.; ANDRADE, A. M. S.; RAMALHO, FRANKLIN. Participação em banca de Ana Patrícia Fontes Magalhães Mascarenhas. 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.

2.
MACHADO, P. D. L.; MASSONI, T. L.; COELHO, R. S.; KIM, M.; Gheyi, R.; RAMALHO, F.. Participação em banca de Everton Leandro Galdino Alves. Test Case Prioritization for Refactoring Validation. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
FERRAZ, C. A. G.; ALVES, C.; Ramalho, Franklin.. Participação em banca de Fábio Moura Pereira. 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.

4.
Ramalho, Franklin.; Jorge C. A. de Figueiredo; Massoni, T.; ROBIN, J.; Gheyi, R.; Gomes, L.. Participação em banca de Paulo Eduardo Silva e Barbosa. 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.

Trabalhos de conclusão de curso de graduação
1.
Ramalho, Franklin.; Priscila Selister; GUERRERO, D.. Participação em banca de Alan de Farias Cruz.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.

2.
Joseana Macêdo Fechine; Ramalho, Franklin.; Hyggo Oliveira de Almeida. Participação em banca de Emanuel Dantas Filho.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.

3.
MACHADO, P.; Schiel, U.; Ramalho, Franklin.. Participação em banca de Helton Souza Lima.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.

4.
Ramalho, Franklin.; Serey, D.; Jorge Abrantes. Participação em banca de Jairson Marinho Cabral.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.



Participação em bancas de comissões julgadoras
Concurso público
1.
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.

Livre docência
1.
Ramalho, Franklin.; Schiel, U.; Melo, S.. Concurso Público para Docentes da Universidade Estadual da Paraíba - UEPB. 2009. Universidade Estadual da Paraíba.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Congresso Brasileiro de Software de 2012: Teoria e Prática. 2012. (Congresso).

2.
Brazilian Workshop on Model-Driven Development.Membro de Comitê de Programa. 2011. (Oficina).

3.
CBSoft - Sessão de ferramentas.Membro de Comitê de Programa. 2011. (Outra).

4.
CBSoft - Tutoriais. Membro de Comitê de Programa. 2011. (Congresso).

5.
SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software.Membro de Comitê de Programa. 2011. (Simpósio).

6.
Brazilian Workshop on Model-Driven Development.Membro de Comitê de Programa. 2010. (Oficina).

7.
CBSoft - Sessão de ferramentas.Membro de Comitê de Programa. 2010. (Outra).

8.
SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software.Membro de Comitê de Programa. 2010. (Simpósio).

9.
III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - Sessão de Ferramentas.Membro de Comitê de Programa. 2009. (Simpósio).

10.
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).

11.
Brazilian Symposium on Formal Methods.MDA e Geração de Código. 2008. (Simpósio).

12.
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).

13.
XXI Simpósio Brasileiro de Egenharia de Software.Integrando Desenvolvimento e Testes Dirigidos por Modelos. 2007. (Simpósio).

14.
WIRE - Workshop para Introdução do Reuso em Empresa de Desenvolvimento de Software.MODELOG - Automated Code Generation from UML Models. 2006. (Encontro).

15.
UML Conference. UML Conference. 2004. (Congresso).

16.
6th Workshop on Formal Methods.6th Workshop on Formal Methods. 2003. (Simpósio).

17.
7th Brazilian Symposium on Programing Languages.7th Brazilian Symposium on Programing Languages. 2003. (Simpósio).

18.
International Workshop on Information Integration on the Web ? Technologies and Applications. 2001. (Outra).

19.
International Workshop on Information Integration on the Web ? Technologies and Applications. 2000. (Simpósio).

20.
I Semana de Banco de Dados. 1999. (Outra).

21.
Java Brasil. 1999. (Encontro).

22.
VII Simpósio de Computadores Tolerantes a Falhas. 1997. (Simpósio).

23.
XI Simpósio Brasileiro de Engenharia de Software. 1997. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
Ramalho, Franklin.. VII Workshop de Teses e Dissertações da COPIN. 2008. (Outro).

2.
Ramalho, Franklin.. VI Workshop de Teses e Dissertações da COPIN. 2007. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Guilherme Monteiro Gadelha. Rastreando Bugs de Interface em Direção aos Casos de Uso. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).

2.
Matheus de Oliveira Barbosa. Sincronizando Código Fonte e Diagramas de Sequencia UML ao Longo da Evolução do Software. Início: 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).

3.
Melquisedec Albert Einstein de Andrade Lima. Identificando Relaç]oes entre Bugs e Máquinas de Estados. Início: 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).

4.
Marzina Vidal Negreiros Bezerra. Especificação e Verificação de Requisitos Formais - Português Controlado. Início: 2015. Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

Tese de doutorado
1.
Thaciana Guimarães de Oliveira Cerqueira. Um Sistema de Recomendação para Design de Software. Início: 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).

Iniciação científica
1.
Dayvson Weslley Cantalice do Nascimento. Suporte a uma Linguagem Visual para Análise Automática de Requisitos de Software. Início: 2017 - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Saulo Soares de Toledo. 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.

2.
Carlos Artur Nascimento Vieira. 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.

3.
Daniel Gondim Ernesto de Mélo. 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.

4.
Arthur de Sousa Marques. 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.

5.
Anderson Rodrigo Santos Bezerra Ledo. 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.

6.
Sebastião Estefânio Pinto 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, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Franklin de Souza Ramalho.

7.
Everton Leandro Galdino Alves. 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.

8.
Andreza de Sousa Vieira. 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.

9.
Camila de Luna Maciel. 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.

10.
Anne Caroline de Oliveira Rocha. 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.

11.
Waldemar Pires Ferreira Neto. 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.

Tese de doutorado
1.
Andreza de Sousa Vieira. 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.

2.
Paulo Eduardo e Silva Barbosa. 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.

Trabalho de conclusão de curso de graduação
1.
Helton Souza Lima. 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.

Iniciação científica
1.
Gustavo Monteiro Alves. 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.

2.
Gustavo Monteiro Alves. 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.

3.
Carlos Artur Nascimento Vieira. 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.

4.
Carlos Artur Nascimento Vieira. 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.

5.
Carlos Artur Nascimento Vieira. 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.

6.
Fábio de Sousa Leal. 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.

7.
Fábio de Sousa Leal. 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.

8.
Anderson Rodrigo Santos Bezerra Ledo. 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.

9.
Hugo de Sousa Marques. 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.




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 10:26:34