Leopoldo Motta Teixeira

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


Atualmente é professor adjunto do Centro de Informática da Universidade Federal de Pernambuco. Possui graduação em Engenharia da Computação pela Universidade de Pernambuco (2007) e mestrado (2010) e doutorado (2014) em Ciência da Computação pela Universidade Federal de Pernambuco. Durante o doutorado, foi orientado pelos professores Paulo Borba (UFPE) e Rohit Gheyi (UFCG), com período sanduíche na Universidade de Waterloo, sob supervisão do Prof. Krzysztof Czarnecki. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Linhas de Produtos de Software, Evolução de Software, Refactorings e Métodos Formais. (Texto informado pelo autor)


Identificação


Nome
Leopoldo Motta Teixeira
Nome em citações bibliográficas
TEIXEIRA, Leopoldo;TEIXEIRA, LEOPOLDO

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática.
Av. Jornalista Anibal Fernandes, s/n
Cidade Universitária
50740560 - Recife, PE - Brasil
Telefone: (081) 21268430
Ramal: 4358
URL da Homepage: http://www.cin.ufpe.br/~lmt


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


2010 - 2014
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
com período sanduíche em University of Waterloo (Orientador: Krzysztof Czarnecki).
Título: Safe Evolution of Software Product Lines and Sets of Product Lines, Ano de obtenção: 2014.
Orientador: Paulo Henrique Monteiro Borba.
Coorientador: Rohit Gheyi.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2008 - 2010
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Verification and refactoring of configuration knowledge for software product lines,Ano de Obtenção: 2010.
Orientador: Paulo Henrique Monteiro Borba.
Coorientador: Rohit Gheyi.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Atividades de Informática e Conexas.
2002 - 2007
Graduação em Engenharia da Computação.
Universidade de Pernambuco, UPE, Brasil.
Título: Ligo: Uma Linha de Produtos de Software para Gerenciamento de Igrejas Cristãs.
Orientador: Tiago Lima Massoni.




Formação Complementar


2005 - 2005
Desenvolvimento de Plugins para Eclipse. (Carga horária: 20h).
Faculdades Integradas Barros Melo, AESO, Brasil.


Atuação Profissional



Universidade Federal de Alagoas, UFAL, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: , Enquadramento Funcional:


Universidade de Brasília, UnB, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: , Enquadramento Funcional:


Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor do Centro de Informática (CIn)

Vínculo institucional

2014 - 2014
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador

Vínculo institucional

2010 - 2014
Vínculo: Colaborador, Enquadramento Funcional: Estudante de Doutorado, Regime: Dedicação exclusiva.
Outras informações
Aluno de doutorado do programa de Pós-Graduação em Ciência da Computação

Vínculo institucional

2008 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Estudante de Mestrado, Regime: Dedicação exclusiva.

Atividades

10/2016 - Atual
Conselhos, Comissões e Consultoria, Centro de Informática, .

Cargo ou função
Colegiado restrito da pós-graduação CIn-UFPE.
10/2015 - Atual
Conselhos, Comissões e Consultoria, Centro de Informática, .

Cargo ou função
Colegiado do Curso de Ciência da Computação.
10/2015 - Atual
Conselhos, Comissões e Consultoria, Centro de Informática, .

Cargo ou função
Colegiado do Curso de Sistemas de Informação.
09/2015 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria e Implementação de Linguagens Computacionais - IF688 (Compiladores)
03/2010 - Atual
Pesquisa e desenvolvimento , Centro de Informática, .

09/2014 - 07/2016
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados - IF969
09/2014 - 07/2015
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Programação 3 - IF1001 (Programação para Dispositivos Móveis)
02/2012 - 06/2012
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Linhas de Produtos de Software, TAES 3-2012.1
03/2010 - 07/2010
Outras atividades técnico-científicas , Centro de Informática, Centro de Informática.

Atividade realizada
Monitoria da Disciplina da Pós-Graduação: Reuso Estratégico com Linhas de Produtos de Software..
08/2009 - 12/2009
Outras atividades técnico-científicas , Centro de Informática, Centro de Informática.

Atividade realizada
Monitoria da disciplina da graduação Produtividade de software.
08/2009 - 11/2009
Outras atividades técnico-científicas , Centro de Informática, Centro de Informática.

Atividade realizada
Monitoria da Disciplina da Especialização: Desenvolvimento de Software com Qualidade e Produtividade.
08/2008 - 06/2009
Outras atividades técnico-científicas , Centro de Informática, Centro de Informática.

Atividade realizada
Monitoria da Disciplina da Graduação e Pós: Reuso Estratégico com Linhas de Produtos de Software.
08/2008 - 11/2008
Outras atividades técnico-científicas , Centro de Informática, Centro de Informática.

Atividade realizada
Monitoria da disciplina da graduação e pós: Programação Orientada a Aspectos.

Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil.
Vínculo institucional

2014 - 2014
Vínculo: Colaborador, Enquadramento Funcional: Consultor Ad Hoc, Carga horária: 0


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

2013 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador


Instituição Plano B, PLANO B, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Voluntário, Enquadramento Funcional: Voluntário, Carga horária: 4
Outras informações
Desenvolvimento do Sistema de Informação Acadêmica do projeto Plano Futuro Técnico - PFT. Participação no processo de escrita de propostas de projeto. Elaboração e coordenação da Conferência Oxigênio (www.conferenciaoxigenio.com).


Universidade do Estado do Rio Grande do Norte, UERN, Brasil.
Vínculo institucional

2016 - 2016
Vínculo: Parecerista ad hoc, Enquadramento Funcional: Parecerista ad hoc, Carga horária: 0
Outras informações
Avaliador externo ad hoc do processo de seleção dos projetos de iniciação científica dos programas PIBIC, PIBIC-EM e PIBITI para a edição 2016/2017.

Vínculo institucional

2015 - 2015
Vínculo: Parecerista ad hoc, Enquadramento Funcional: Parecerista ad hoc, Carga horária: 0
Outras informações
Parecerista ad hoc de projetos de pesquisa submetidos aos editais nº 008, 009, 010/2014-DP/PROPEG/UERN que selecionaram projetos, coordenadores e discentes bolsistas e voluntários para o Programa Institucional de Iniciação Científica e Tecnológica (PIBIC, PIBIC-EM e PIBITI) da Universidade do Estado do Rio Grande do Norte em parceria com o CNPq para a edição de 2015/2016.


Universidade Federal Rural de Pernambuco, UFRPE, Brasil.
Vínculo institucional

2014 - 2014
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor da área de Sistemas Computacionais do Departamento de Estatística e Informática (DEINFO)

Atividades

04/2014 - 08/2014
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Introdução a Programação
Laboratório de Informática

University of Waterloo, U.WATERLOO, Canadá.
Vínculo institucional

2012 - 2013
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador Visitante, Regime: Dedicação exclusiva.
Outras informações
Pesquisador visitante no Generative Software Development Lab, liderado pelo Professor Krzysztof Czarnecki. Colaborando no tópico de evolução de Linhas de Produtos de Software com Leonardo Passos e Jianmei Guo.

Atividades

12/2012 - 3/2013
Pesquisa e desenvolvimento , Electrical and Computer Engineering, .


Centro universitário Maurício de Nassau - Recife, UNINASSAU, Brasil.
Vínculo institucional

2013 - 2014
Vínculo: , Enquadramento Funcional: Professor, Carga horária: 6
Outras informações
Professor do curso de Sistemas de Informação

Atividades

08/2013 - 04/2014
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos

Bowers Web Media, BWM, Estados Unidos.
Vínculo institucional

2005 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Desenvolvedor, Carga horária: 20
Outras informações
Desenvolvimento de sites e sistemas baseados na Internet. Principal responsabilidade concentrou-se em desenvolver um sistema de gerenciamento de conteúdo (CMS) que passou a ser utilizado em todos os sites e sistemas criados pela empresa. Este sistema também é utilizado como framework para a construção de aplicações web para alguns sites em específico. O trabalho foi todo desenvolvido à distância, monitorado por e-mail, sistemas colaborativos de gerência de projeto (MS Sharepoint), e programas de comunicação instantânea.


Universidade de Pernambuco, UPE, Brasil.
Vínculo institucional

2007 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Monitor, Carga horária: 5
Outras informações
Monitoria da disciplina Projeto de Banco de Dados, sob supervisão da Profª. Drª. Maria Lencastre

Vínculo institucional

2007 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Monitor, Carga horária: 5
Outras informações
Monitoria da disciplina Compiladores, sob supervisão do Prof. Dr. Ricardo Massa

Vínculo institucional

2006 - 2006
Vínculo: Colaborador, Enquadramento Funcional: Monitor, Carga horária: 5
Outras informações
Monitoria da disciplina Projeto de Banco de Dados, sob supervisão da Profª. Drª. Cristine Gusmão

Vínculo institucional

2004 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Desenvolvedor, Carga horária: 10
Outras informações
Desenvolvimento do site do Departamento de Sistemas Computacionais (DSC)



Linhas de pesquisa


1.
Evolução de Software
2.
Linhas de Produtos de Software
3.
Linhas de Produtos de Software
4.
Evolução de Software


Projetos de pesquisa


2017 - Atual
Suporte Ferramental à Evolução de Linhas de Produtos de Software
Descrição: Variabilidade em sistemas de software é importante para que sistemas sejam adequados às necessidades de usuários, e flexíveis o suficiente para que possamos usá-los em diferentes contextos sem necessariamente desenvolvê-los do zero. No entanto, variabilidade cria uma tensão entre reuso e custos de desenvolvimento e manutenção. Linhas de produtos de software planejam variabilidade visando reduzir significativamente o esforço de desenvolvimento, custos e time to market. Tal planejamento requer investimento inicial e gera custos de manutenção a longo prazo, pois variações geram um número exponencial de configurações. Caso não sejam utilizados métodos adequados, os custos de manutenção podem superar os benefícios esperados. Desta forma, este projeto visa desenvolver técnicas para melhoria do processo de evolução de linhas de produtos de software. Pretendemos definir noções de refinamento parcial para linhas de produtos de software, e implementar e avaliar ferramentas para suporte à evolução de linhas de produtos de software, com base formal. Em especial, pretendemos evoluir as teorias existentes, desenvolvendo novas teorias que contemplem evolução não-segura de LPS, auxiliando no contexto de análise da evolução em larga-escala, como o caso do Linux kernel, enriquecendo os catálogos existentes. Também investiremos no suporte ferramental à aplicação de transformações semi-automáticas em LPS, facilitando a utilização e avaliação dos catálogos propostos. Finalmente, pretendemos implementar e avaliar novas abordagens de verificação para mudanças tanto em LPS, quanto nos elementos que a constituem. Estes resultados são essenciais para extrair e evoluir uma LPS, tanto reduzindo riscos e investimento inicial necessários quanto atingindo níveis de confiablilidade como os sugeridos pelos grandes desafios da Sociedade Brasileira de Computação. Assim esperamos tornar, no curto prazo, mais eficaz e viável a utilização da abordagem de LPS em empresas que lidam com famílias de produtos de software, contribuindo para o aumento da competitividade da indústria nacional. O projeto integra pesquisa de diferentes comunidades, incluindo métodos formais, análise estática, e refactoring, com o objetivo de tornar a evolução de linhas de produtos de software mais segura, mesmo em casos onde trabalhos existentes não dão suporte necessário..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) .
Integrantes: Leopoldo Motta Teixeira - Coordenador / Márcio Ribeiro - Integrante / Rohit Gheyi - Integrante / Vander Alves - Integrante / Paulo Henrique Monteiro Borba - Integrante / Gabriela Sampaio - Integrante / Thiago Castro - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.
2017 - Atual
Combinando Gamificação e Redes Sociais para Melhorar a Prevenção e Controle da Zika
Descrição: O objetivo geral deste projeto é desenvolver uma plataforma capaz de fornecer informações úteis para o combate a Zika e estimular o envolvimento da população na prevenção e controle desta doença através de mecanismos baseados em gamificação e mineração de dados. Em particular, a plataforma visa fornecer um ambiente que estimule a participação contínua e integrada de cidadãos e agentes públicos de saúde. Os mecanismos providos pela plataforma serão capazes de analisar continuamente as postagens e interações de usuários nas redes sociais a fim de identificar agentes sensoriais que possam auxiliar agentes de saúde no combate a Zika. Além disso, combinaremos tecnologias inovadoras de gamificação e monitoramento de redes sociais para estimular cidadãos a denunciarem e confirmarem focos do mosquito Aedes e mantê-los atualizados sobre as providências tomadas pelos agentes de saúde referente às suas denúncias. A plataforma será apresentada aos cidadãos como uma importante ferramenta para união de forças entre cidadão e poder público..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (3) / Doutorado: (4) .
Integrantes: Leopoldo Motta Teixeira - Coordenador / Márcio Ribeiro - Integrante / Alessandro Garcia - Integrante / Baldoino Fonseca dos Santos Neto - Integrante / Oswaldo Cruz - Integrante / Alexander Romanovsky - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Cooperação / British Council - Cooperação.
2016 - Atual
INES - Instituto Nacional de Ciência e Tecnologia para Engenharia de Software (INCT CNPq e FACEPE)

Projeto certificado pelo(a) coordenador(a) Augusto Cezar Alves Sampaio em 09/09/2017.
Descrição: O objetivo geral deste Instituto é desenvolver técnicas, ferramentas e processos de engenharia de software que sirvam de base para aplicações avançadas, como por exemplo plataformas abertas de serviços voltadas para Cidades Inteligentes. Esperamos avanços em técnicas como Linhas de Produtos de Software (LPS), especificação e testes de sistemas distribuídos, e engenharia de software experimental, entre outras, explorando também a integração entre as técnicas, coordenando os esforços e competências das diversas instituições e pesquisadores envolvidos. Desta forma, esperamos que as técnicas e ferramentas propostas forneçam vantagens competitivas às empresas que as adotem, tanto melhorando a confiabilidade, como a produtividade no desenvolvimento de aplicações para cidades inteligentes. Os objetivos específicos do Instituto: * Desenvolver pesquisa científica de vanguarda com padrão internacional na área de Engenharia de Software, com foco em Cidades Inteligentes * Formar recursos humanos qualificados na área de Engenharia de Software * Difundir conhecimento para a sociedade * Difundir conhecimento para o setor empresarial..
Situação: Em andamento; Natureza: Pesquisa.
2015 - Atual
Estratégias Comutativas para Análise de Confiabilidade em Linha de Produtos de Software

Projeto certificado pelo(a) coordenador(a) Vander Ramos Alves em 31/08/2017.
Descrição: Engenharia de linha de produtos de software é uma forma de gerenciar sistematicamente a variabilidade e a comunalidade em sistemas de software, possibilitando a síntese automática de programas similares (produtos) a partir de um conjunto de artefatos reutilizáveis. No entanto, o número de produtos em uma linha de produtos de software pode crescer exponencialmente em função de seu número de características, tornando inviável verificar a qualidade de cada um desses produtos isoladamente. Existem diversas abordagens cientes de variabilidade para análise de linha de produtos, as quais adaptam técnicas de análise de produto único para lidar com a variabilidade de forma eficiente. Tais abordagens podem ser classificadas em três dimensões de análise, mas, particularmente no contexto de análise de confiabilidade, não existe uma teoria que compreenda (a) uma especificação formal das três dimensões e das estratégias de análise resultantes e (b) prova de que tais análises são equivalentes uma à outra. A falta de uma teoria com essas propriedades impede que se raciocine formalmente sobre o relacionamento entre as dimensões de análise e técnicas de análise derivadas, limitando a confiança nos resultados correspondentes a elas. Portanto, este projeto visa desenvolver teorias e ferramentas para análise de confiabilidade de linhas de produtos, para as quais encontramos evidência inicial de comutatividade. Além da implementação de ferramentas, mecanizaremos as estratégias implementadas, provando que são corretas com relação à abordagem probabilística para análise de confiabilidade de um produto único. Por fim, demonstraremos que passos intermediários das estratégias formalizadas são comutativos, permitindo a escolha entre estratégias diferentes com reuso das etapas comuns..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (2) .
Integrantes: Leopoldo Motta Teixeira - Integrante / Vander Alves - Coordenador / Sven Apel - Integrante / Thiago Castro - Integrante / Pierre Yves Schobbens - Integrante / André Lanna - Integrante.
2014 - Atual
Engenharia de Software para Cidades Inteligentes (ESCIn)

Projeto certificado pelo(a) coordenador(a) Paulo Henrique Monteiro Borba em 05/02/2015.
Descrição: Visando à organização de grandes centros urbanos através da convergência de diferentes Tecnologias de Informação e Comunicação (TIC), Cidades Inteligentes (Smart Cities) pode ser considerado o novo paradigma tecnológico para o século XXI. A temática de cidades inteligentes representa um nicho de mercado que se desenvolve mundialmente, para o qual, até o ano de 2020, 100 bilhões de dólares, apenas em infraestrutura de telecomunicações, devem ser globalmente investidos. Grandes fornecedores mundiais de TIC, tais como IBM, HP, Siemens e NEC já investem em soluções para cidades inteligentes, soluções estas sendo fomentadas por diversos investimentos públicos para equipar centros urbanos com novas tecnologias. Assim, inicia-se uma espécie de corrida tecnológica para a venda de hardware e software, motivada a preparar cidades para esta nova era de TIC. Em que estes grandes fornecedores começam a fornecer plataformas de software de monitoramento e controle, há uma propensão por soluções proprietárias e naturalmente fechadas, dificultando a livre iniciativa local (e global) no desenvolvimento de soluções e serviços. Além destes entraves, o desenvolvimento de tais plataformas abertas, e aplicações associadas, precisa ser produtivo e acompanhado de alta qualidade. Para tornar o desenvolvimento de soluções para cidades inteligentes viável e competitivo, é fundamental que sejam aplicadas técnicas, ferramentas e princípios de Engenharia de Software para garantir, nesse contexto, atributos como segurança, robustez e fidedignidade, entre outros. No entanto, técnicas estabelecidas têm foco no desenvolvimento de sistemas com noções tradicionais e rígidas de módulos e interfaces. Desta forma, estas técnicas precisam ser adaptadas e evoluídas para atender à necessidades específicas de plataformas de cidades inteligentes, como descentralização, heterogeneidade, e tolerância a falhas. Desta forma, este projeto visa pesquisar, avaliar e aplicar técnicas, ferramentas e processos de engenharia de software para lidar com desafios associados a este contexto de cidades inteligentes. Em particular, pretendemos pesquisar aspectos como variabilidade, modularidade, e a especificação e teste de sistemas distribuídos. Todos esses aspectos serão avaliados e utilizados para o desenvolvimento de uma plataforma aberta de serviços de software urbanos, resultado prático do projeto e que será a base de um modelo de ecossistema de negócios voltado para cidades inteligentes. Esta plataforma visa permitir que terceiros possam consumir e fornecer serviços de software fortemente baseados em dados urbanos. Diferentes tipos de aplicações e serviços poderão ser criados, aumentando a capacidade de criação de negócios globais a partir do estado, levando naturalmente à criação de empregos e oportunidades de capitalização. Além disso, contrário à tendência dos grandes fornecedores de soluções, este formato permitirá a participação de diferentes provedores, estimulando o mercado local no setor de TIC. Contemplando tanto avanços em produtividade e qualidade de software quando em plataformas abertas, este projeto está alinhado com iniciativas importantes do programa TI Maior [MCTI]: o programa estratégico de software e serviços em TI, e o modelo estratégico de ecossistemas digitais (de base tecnológica local)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (5) .
Integrantes: Leopoldo Motta Teixeira - Integrante / Paulo Borba - Coordenador / Fernando Castor - Integrante / Sérgio Castelo Branco Soares - Integrante / Augusto Sampaio - Integrante / André Santos - Integrante / Márcio Cornélio - Integrante / Henrique Rebelo - Integrante / Kiev Gama - Integrante.Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Outra.
2014 - Atual
Ferramentas para Evolução Segura de Linhas de Produtos de Software
Descrição: Variabilidade em sistemas de software é importante para que sistemas sejam adequados às necessidades de usuários, e flexíveis o suficiente para que possamos usá-los em diferentes contextos sem necessariamente desenvolvê-los do zero. No entanto, variabilidade cria uma tensão entre reuso e custos de desenvolvimento e manutenção. Linhas de produtos de software planejam variabilidade visando reduzir significativamente o esforço de desenvolvimento, custos e time to market. Tal planejamento requer investimento inicial e gera custos de manutenção a longo prazo, pois variações geram um número exponencial de configurações. Caso não sejam utilizados métodos adequados, os custos de manutenção podem superar os benefícios esperados. Este projeto visa desenvolver técnicas para melhoria do processo de evolução de linhas de produtos de software, explorando também o desenvolvimento de ferramentas com base formal. O projeto integra pesquisa de diferentes comunidades, incluindo métodos formais, análise estática, e refactoring, com o objetivo de tornar a evolução de linhas de produtos de software mais segura..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Leopoldo Motta Teixeira - Coordenador / Leonardo Passos - Integrante / Márcio Cornélio - Integrante / Henrique Rebelo - Integrante.Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Outra.
2013 - Atual
Refatoramento Seguro de Programas e Linhas de Produto de Software

Projeto certificado pelo(a) coordenador(a) Rohit Gheyi em 21/03/2014.
Situação: Em andamento; Natureza: Pesquisa.
2011 - 2014
Evolução Fidedigna de Linhas de Produtos de Software
Descrição: O objetivo deste trabalho de pesquisa é contribuir para aperfeiçoar o processo de evolução de Linhas de Produtos de Software (LPS), de forma que empresas que adotem a abordagem e ferramentas propostas tenham mais vantagem competitiva advindo do aumento tanto de confiabilidade quanto de produtividade na evolução segura de LPS. Em particular, temos as seguintes metas: propor, implementar, e derivar formalmente, utilizando PVS, catálogos de refatorações e equivalências tanto para linhas de produtos como um todo quanto para seus modelos; conceber e implementar verificadores de refatoração tanto para quando uma linha é modificada como um todo quanto para quando apenas um de seus elementos (FM, CK, e artefatos de código) é modificado, o que aumenta a confiança na corretude da evolução em situações em que os catálogos não são usados. Tais verificadores também serão integrados a ferramentas de refatoração e derivação de linhas de produto já desenvolvidas pelos pesquisadores envolvidos no projeto; realizar estudos experimentais avaliando tanto a expressividade dos catálogos propostos e a precisão dos verificadores quanto os custos e benefícios associados ao uso das ferramentas e abordagem proposta para extração e evolução de linhas de produtos reais; transferir a tecnologia desenvolvida (catálogos e ferramentas) para a indústria de software local, primeiramente para a Qualiti Software Processes..
Situação: Em andamento; Natureza: Pesquisa.
2011 - 2013
Modularização Emergente para Linhas de Produtos de Software
Descrição: Linhas de Produto de Software (LPS) permitem o desenvolvimento de produtos adaptados às peculiaridades de clientes específicos, com agilidade e custos reduzidos, sem comprometer qualidade. Para garantir as vantagens dessa abordagem, o suporte linguístico para estruturar variações em LPS é essencial. No entanto, o uso desses mecanismos linguísticos pode facilitar o desenvolvimento ou manutenção de uma feature mas, ao mesmo tempo, pode levar a dificuldades para manutenção de outras. A separação virtual de preocupações (Virtual Separation of Concerns ou VSoC) tenta reduzir esse problema através da possibilidade de esconder o código de features. Assim, há um certo ganho em manutenção, mas não em reuso e modularidade. De fato, desenvolvedores não têm nenhuma informação sobre as features escondidas e podem introduzir defeitos nelas que, potencialmente, têm elementos, como métodos e variáveis, em comum com a feature sendo modificada. Por esses motivos, durante a realização deste projeto nós pretendemos propor, formalizar, implementar, e avaliar suporte ao desenvolvimento e evolução modulares de features em LPS desenvolvidas com técnicas de variação como compilação condicional e aspectos. Assim, iremos implementar o conceito de modularização emergente de features, que suportará, sob demanda, a inferência de contratos (interfaces) entre implementações de features, contendo informações essenciais para permitir o desenvolvimento e evolução independentes de uma dada feature e, consequentemente, alcançando modularidade de fato. A nossa hipótese é que a inferência de interfaces entre features ajudará a alcançar melhores níveis de produtividade e qualidade, e a efetivamente raciocinar sobre features apenas com base em suas interfaces..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (3) .
Integrantes: Leopoldo Motta Teixeira - Integrante / Paulo Borba - Coordenador / Márcio Ribeiro - Integrante / Fernando Castor - Integrante / Sérgio Castelo Branco Soares - Integrante / Rodrigo Andrade - Integrante / Társis Toledo - Integrante / Marcelo d'Amorim - Integrante / André Santos - Integrante / Sabrina Souto - Integrante / Felipe Queiroz - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2013
Aumentando a Segurança de Refatoramentos de Programas

Projeto certificado pelo(a) coordenador(a) Rohit Gheyi em 21/03/2014.
Descrição: O objetivo deste trabalho é propor uma técnica simples e prática para se identificar mudanças comportamentais na aplicação de quaisquer refatoramentos em programas sequenciais orientados a objetos e aspectos. Para isso pretendemos propor uma técnica de análise de impacto estática e de geração automática de uma coleção de testes de unidade com base na transformação desejada pelo usuário. Com base no tipo de transformação que se deseja aplicar, uma análise de impacto indicará partes do programa que a coleção de testes gerada deverá exercitar para se ter mais chances de identificar mudanças comportamentais. Avaliaremos esta técnica tanto em programa sequenciais quanto para linhas de produto de software...
Situação: Concluído; Natureza: Pesquisa.
2009 - 2011
Uma Abordagem Segura para a Aplicação de Refatoramentos
Descrição: O objetivo deste trabalho é propor uma técnica simples e prática para se identificar mudanças comportamentais na aplicação de quaisquer refatoramentos em programas sequenciais orientados a objetos e aspectos. Para isso pretendemos propor uma técnica de análise estática e de geração automática de uma coleção de testes de unidade com base na transformação desejada pelo usuário. Com base no tipo de transformação que se deseja aplicar, uma análise estática indicará partes do programa que a coleção de testes gerada deverá exercitar para se ter mais chances de identificar mudanças comportamentais..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Leopoldo Motta Teixeira - Integrante / Paulo Borba - Integrante / Rohit Gheyi - Coordenador / Tiago Massoni - Integrante / Gustavo Soares - Integrante / Augusto Sampaio - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2011
PROCAD - Desenvolvimento de linhas de produto de software usando técnicas orientadas a aspectos
Descrição: O objetivo central desse projeto de cooperação científica é promover o intercâmbio entre membros de grupos de pesquisa atuando na área de Desenvolvimento de Software Orientado a Aspectos (DSOA) e Linhas de Produtos de Software (LPS). Em particular: (i) disseminar as abordagens (técnicas, linguagens e ferramentas) OA para desenvolvimento de LPS já propostas pelos grupos de pesquisa participantes do projeto, através da sua aplicação em um conjunto de estudos de caso comuns; (ii) discutir e avaliar criticamente as abordagens já propostas, através da identificação de seus benefícios e limitações durante a sua respectiva aplicação nos estudos de caso; (iiii) avaliar e promover a integração das abordagens propostas por cada grupo de acordo com a atividade de desenvolvimento ao qual se aplica (análise, projeto e implementação de domínio, derivação de produto); (iv) aplicar as abordagens de acordo com as diretrizes oferecidas pela metodologia de integração proposta, de forma a avaliar a efetividade tanto dos refinamentos individuais propostos para cada uma das abordagens, quanto das diretrizes oferecidas pela metodologia de integração. FINANCIAMENTO: Edital Procad 01/2007.
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2010
Suporte Linguístico para Modularização de Linhas de Produtos de Software
Descrição: O objetivo deste trabalho de pesquisa é contribuir para aperfeiçoar o processo de desenvolvimento de Linhas de Produtos de Software, de forma que empresas que adotem esta abordagem tenham maior vantagem competitiva advindo de desenvolvimento e manutenção modulares, e consequente aumento de produtividade. Em particular, temos as seguintes metas: - definir, formalizar e implementar suporte linguístico adequado para modularização de features em 4 tipos de artefatos de LPS: cenários de caso de uso, arquitetura, código e testes; - realizar estudos empíricos avaliando custos e benefícios associados ao uso das extensões linguísticas propostas para desenvolvimento e extração de LPS reais..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (2) .
Integrantes: Leopoldo Motta Teixeira - Integrante / Rodrigo Bonifácio - Integrante / Paulo Borba - Coordenador / Márcio Ribeiro - Integrante / Carlos Eduardo Pontual - Integrante / Fernanda d'Amorim - Integrante / Fernando Castor - Integrante / Sérgio Castelo Branco Soares - Integrante.Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.


Revisor de periódico


2014 - Atual
Periódico: The Journal of Systems and Software
2015 - 2015
Periódico: Software: Practice and Experience
2015 - 2015
Periódico: ACM Transactions on Software Engineering and Methodology
2015 - 2016
Periódico: Journal of Software Engineering Research and Development
2015 - 2015
Periódico: Journal of Computer Science and Technology
2016 - Atual
Periódico: IEEE Transactions on Software Engineering


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
3.
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.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.


Idiomas


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


Prêmios e títulos


2018
Patrono da turma 2018.1 de Ciência da Computação do Centro de Informática (UFPE)., Universidade Federal de Pernambuco.
2018
Distinguished Reviewer Award, 22nd International Systems and Software Product Line Conference.
2018
Distinguished PC Member Award, XII Simpósio Brasileiro de Componentes de Software, Arquiteturas e Reutilização (SBCARS).
2015
Professor homenageado da Turma 15 da Residência em Software CIn/UFPE - Motorola, CIn/UFPE.
2011
O trabalho "Safe Composition of Configuration Knowledge-based Software Product Lines" foi eleito o 2o. melhor artigo do XXV Simpósio Brasileiro de Engenharia de Software - SBES 2011, Sociedade Brasileira de Computação.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:10
Total de citações:36
Fator H:3
Teixeira, Leopoldo  Data: 25/01/2017

SCOPUS
Total de trabalhos:81
Total de citações:104
Teixeira, Leopoldo  Data: 25/01/2017

Outras
Total de trabalhos:24
Total de citações:303
Leopoldo Teixeira  Data: 25/01/2017

Artigos completos publicados em periódicos

1.
CASTRO, Thiago2018 CASTRO, Thiago ; LANNA, André ; ALVES, Vander ; TEIXEIRA, Leopoldo ; APEL, Sven ; SCHOBBENS, Pierre Yves . All roads lead to Rome: Commuting strategies for product-line reliability analysis. SCIENCE OF COMPUTER PROGRAMMING, v. 152, p. 116-160, 2018.

2.
BRAZ, Larissa2017BRAZ, Larissa ; GHEYI, Rohit ; MONGIOVI, Melina ; RIBEIRO, Márcio ; MEDEIROS, Flávio ; TEIXEIRA, LEOPOLDO . A change-centric approach to compile configurable systems with #ifdefs. ACM SIGPLAN NOTICES, v. 52, p. 109-119, 2017.

3.
MONGIOVI, Melina2017MONGIOVI, Melina ; GHEYI, Rohit ; SOARES, Gustavo ; RIBEIRO, MARCIO ; BORBA, Paulo ; TEIXEIRA, LEOPOLDO . Detecting overly strong preconditions in refactoring engines. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v. 44, p. 1-1, 2017.

4.
MEDEIROS, F.2016MEDEIROS, F. ; RODRIGUES, I. ; RIBEIRO, M. ; TEIXEIRA, Leopoldo ; GHEYI, R. . An empirical study on configuration-related issues: investigating undeclared and unused identifiers. ACM SIGPLAN NOTICES, v. 51, p. 35-44, 2016.

5.
PASSOS, Leonardo2016PASSOS, Leonardo ; TEIXEIRA, LEOPOLDO ; DINTZNER, Nicolas ; APEL, Sven ; W'SOWSKI, ANDRZEJ ; CZARNECKI, Krzysztof ; BORBA, Paulo ; GUO, Jianmei . Coevolution of variability models and related software artifacts. Empirical Software Engineering, v. 21, p. 1744-1793, 2016.

6.
NEVES, Laís2015 NEVES, Laís ; BORBA, Paulo ; ALVES, Vander ; TURNES, Lucineia ; TEIXEIRA, Leopoldo ; SENA, Demóstenes ; KULESZA, Uirá . Safe Evolution Templates for Software Product Lines. The Journal of Systems and Software, v. 106, p. 42-58, 2015.

7.
ALFÉREZ, MAURICIO2014ALFÉREZ, MAURICIO ; BONIFÁCIO, RODRIGO ; TEIXEIRA, LEOPOLDO ; ACCIOLY, Paola ; KULESZA, Uirá ; MOREIRA, Ana ; ARAÚJO, JOÃO ; BORBA, Paulo . Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness. Requirements Engineering, v. 19, p. 355-376, 2014.

8.
MONGIOVI, MELINA2014MONGIOVI, MELINA ; GHEYI, R. ; Soares, Gustavo ; TEIXEIRA, Leopoldo ; BORBA, Paulo . Making refactoring safer through impact analysis. Science of Computer Programming (Print), v. 93, p. 39-64, 2014.

9.
TEIXEIRA, Leopoldo;TEIXEIRA, LEOPOLDO2013 TEIXEIRA, Leopoldo; BORBA, Paulo ; GHEYI, Rohit . Safe composition of configuration knowledge-based software product lines. The Journal of Systems and Software, v. 86, p. 1038-1053, 2013.

10.
BORBA, Paulo2012 BORBA, Paulo ; TEIXEIRA, Leopoldo ; GHEYI, Rohit . A Theory of Software Product Line Refinement. Theoretical Computer Science, v. 455, p. 2-30, 2012.

11.
Laís Neves2012Laís Neves ; TEIXEIRA, Leopoldo ; Demóstenes Sena ; ALVES, Vander ; KULESZA, U. ; BORBA, Paulo ; BORBA, PAULO . Investigating the safe evolution of software product lines. ACM SIGPLAN Notices, v. 47, p. 33-42, 2012.

Trabalhos completos publicados em anais de congressos
1.
COSTA, Alex ; TEIXEIRA, Leopoldo . Testing Strategies for Smart Cities applications: A Systematic Mapping Study. In: III Brazilian Symposium on Systematic and Automated Software Testing (SAST 2018), 2018, São Carlos, SP. Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing (SAST 2018), 2018.

2.
SAMPAIO, Gabriela ; BORBA, Paulo ; TEIXEIRA, Leopoldo . Partially Safe Evolution of Software Product Lines. In: 20th International Systems and Software Product Line Conference, 2016, Beijing, China. 20th International Systems and Software Product Line Conference, 2016.

3.
BENBASSAT, Fernando ; BORBA, Paulo ; TEIXEIRA, Leopoldo . Safe Evolution of Software Product Lines: Feature Extraction Scenarios. In: X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), 2016, Maringá, PR. Proceedings of the X Brazilian Symposium on Components, Architectures and Reuse (SBCARS), 2016.

4.
BRAZ, Larissa ; GHEYI, Rohit ; MONGIOVI, Melina ; RIBEIRO, Márcio ; MEDEIROS, Flávio ; TEIXEIRA, Leopoldo . A Change-Centric Approach to Compile Configurable Systems with #ifdefs. In: International Conference on Generative Programming: Concepts & Experiences (GPCE'2016), 2016, Amsterdam. Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE'2016), 2016.

5.
TEIXEIRA, Leopoldo; ALVES, Vander ; BORBA, Paulo ; GHEYI, Rohit . A Product Line of Theories for Reasoning about Safe Evolution of Product Lines. In: The 19th International Software Product Line Conference: New Directions in Systems and Software Product Line Engineering, 2015, Nashville, TN. 19th International Software Product Line Conference (SPLC), 2015.

6.
TEIXEIRA, Leopoldo; BORBA, Paulo ; GHEYI, Rohit . Safe Evolution of Product Populations and Multi Product Lines. In: 19th International Software Product Line Conference (SPLC), 2015, Nashville, TN. The 19th International Software Product Line Conference: New Directions in Systems and Software Product Line Engineering, 2015.

7.
MEDEIROS, Flávio ; RODRIGUES, Iran ; RIBEIRO, Márcio ; TEIXEIRA, Leopoldo ; GHEYI, Rohit . An Empirical Study on Configuration-Related Type Issues. In: 14th International Conference on Generative Programming: Concepts & Experience (GPCE'15), 2015, Pittsburgh, PA. 14th International Conference on Generative Programming: Concepts & Experience (GPCE'15), 2015.

8.
RODRIGUES, Elder ; PASSOS, Leonardo ; TEIXEIRA, Leopoldo ; ZORZO, Avelino ; OLIVEIRA, Flavio ; SAAD, Rodrigo . On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment. In: The 26th International Conference on Software Engineering and Knowledge Engineering, 2014, Vancouver, Canada. Proceedings of The 26th International Conference on Software Engineering and Knowledge Engineering, 2014.

9.
PASSOS, Leonardo ; GUO, Jianmei ; TEIXEIRA, Leopoldo ; CZARNECKI, Krzysztof ; WĄ ; BORBA, Paulo . Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel. In: 17th International Software Product Line Conference, 2013, Tokyo, Japan. Proceedings of the 17th International Software Product Line Conference, 2013.

10.
TEIXEIRA, Leopoldo; GHEYI, Rohit ; BORBA, Paulo . Safe Composition of Configuration Knowledge-based Software Product Lines. In: XXV Simpósio Brasileiro de Engenharia de Software (SBES 2011), 2011, São Paulo. Proceedings of the XXV Brazilian Symposium on Software Engineering, 2011.

11.
NEVES, Laís ; TEIXEIRA, Leopoldo ; SENA, Demóstenes ; ALVES, Vander ; KULESZA, Uirá ; BORBA, Paulo . Investigating the Safe Evolution of Software Product Lines. In: 10th International Conference on Generative Programming and Component Engineering (GPCE 2011), 2011, Portland, USA. 10th International Conference on Generative Programming and Component Engineering (GPCE 2011), 2011.

12.
BORBA, Paulo ; TEIXEIRA, Leopoldo ; GHEYI, Rohit . A Theory of Software Product Line Refinement. In: 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), 2010, Natal. 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010). Heidelberg: Springer, 2010. p. 1-34.

13.
RIBEIRO, Márcio ; PACHECO, Humberto ; TEIXEIRA, Leopoldo ; BORBA, Paulo . Emergent Feature Modularization. In: Onward! 2010, affiliated with ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), 2010, Reno-Tahoe. Onward! 2010, 2010. p. 1-8.

14.
TORRES, Mário ; KULESZA, Uirá ; BRAGA, Rosana ; MASIERO, Paulo ; PIRES, Paulo ; DELICATO, Flávia ; CIRILO, Elder ; BATISTA, Thais ; TEIXEIRA, Leopoldo ; BORBA, Paulo ; LUCENA, Carlos . Estudo Comparativo de Ferramentas de Derivação Dirigidas por Modelos: Resultados Preliminares. In: Primeiro Workshop Brasileiro de Desenvolvimento Dirigido por Modelos (WBDDM'2010), CBSoft'2010, 2010, Salvador, Brasil. Anais do I Workshop Brasileiro de Desenvolvimento Dirigido por Modelos (WBDDM'2010), 2010. p. 1-8.

15.
TORRES, Mário ; TEIXEIRA, Leopoldo ; CIRILO, Elder ; KULESZA, Uirá ; SOUSA, Matheus ; BORBA, Paulo ; BATISTA, Thais ; BRAGA, Rosana ; MASIERO, Paulo ; LUCENA, Carlos . Assessment of Product Derivation Tools in the Evolution of Software Product Lines: An Empirical Study. In: 2nd International Workshop on Feature-Oriented Software Development (FOSD), in conjunction with GPCE and SLE 2010, 2010, Eindhoven, Holanda. Proceedings of the 2nd International Workshop on Feature-Oriented Software Development (FOSD), 2010. p. 1-8.

16.
BONIFACIO, Rodrigo ; TEIXEIRA, Leopoldo ; BORBA, Paulo . Hephaestus: A Tool for Managing SPL Variabilities. In: III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2009, Natal, RN. Sessão de Ferramentas do Simpósio Brasileiro de Components, Arquitetura e Reuso, 2009.

Resumos publicados em anais de congressos
1.
TEIXEIRA, Leopoldo. Safe Evolution of Software Product Lines and Communities. In: Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091), 2013, Dagstuhl. Dagstuhl Reports. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2013. v. 3. p. 165-165.

2.
CIRILO, Elder ; SENA, Demóstenes ; KULESZA, Uirá ; TEIXEIRA, Leopoldo ; SOARES, Sérgio ; BORBA, Paulo ; GHEYI, Rohit ; NEVES, Laís ; LUCENA, Carlos . Integrating Product Line Refactoring and Derivation Tools: Challenges and Potential Solutions.. In: International Workshop on Product Line Approaches in Software Engineering (PLEASE 2011), 2011, Honolulu. Workshop at International Conference on Software Engineering (ICSE 2011), 2011, Honolulu. International Workshop on Product Line Approaches in Software Engineering (PLEASE 2011), 2011, Honolulu. Workshop at International Conference on Software Engineering (ICSE 2011), 2011. p. 22-23.

Artigos aceitos para publicação
1.
BRAZ, Larissa ; GHEYI, Rohit ; MONGIOVI, Melina ; RIBEIRO, Márcio ; MEDEIROS, Flávio ; TEIXEIRA, Leopoldo ; SOUTO, Sabrina . A Change-Aware Per-File Analysis to Compile Configurable Systems with ifdefs. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2018.


Produção técnica
Programas de computador sem registro
1.
TEIXEIRA, Leopoldo. Ligo. 2007.


Demais tipos de produção técnica
1.
TEIXEIRA, Leopoldo. Defining and Implementing Domain-Specific Languages. 2010. (Curso de curta duração ministrado/Outra).

2.
BORBA, Paulo ; TEIXEIRA, Leopoldo ; RIBEIRO, Márcio . Defining and Implementing Domain-Specific Languages. 2010. (Curso de curta duração).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
GAMA, Kiev; BUREGIO, Vanilson; TEIXEIRA, Leopoldo. Participação em banca de Bruce Fábian Reis Albuquerque. Avaliação de conformidade de sites governamentais à cartilha de codificação dos Padrões Web em Governo Eletrônico - e-PWG. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
TEIXEIRA, Leopoldo; ANDRADE, Wilkerson; SAMPAIO, Augusto. Participação em banca de Filipe Marques Chaves de Arruda. Test Automation from Natural Language with Reusable Capture & Replay and Consistency Analysis. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
TEIXEIRA, Leopoldo; CYSNEIROS, Gilberto; REBELO, Henrique. Participação em banca de Alan de Oliveira Silva. Aplicando Design by Contract em web services RESTful. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
TEIXEIRA, Leopoldo; CYSNEIROS, Gilberto; REBELO, Henrique. Participação em banca de Fabrício Soares da Silva. Uma Extensão do Diagrama de Classe em Aspect-Oriented Design Model (AODM) para modelagem de Design by Contract. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
TEIXEIRA, Leopoldo; NASCIMENTO, Leandro; GARCIA, Vinicius. Participação em banca de Alessandro Borges Rodrigues. Uma Abordagem Gradativa de Modernização de Software Monolítico e em Camadas para Serviços. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
TEIXEIRA, Leopoldo; CORDEIRO, Lucas; D'AMORIM, Marcelo. Participação em banca de Paulo de Barros e Silva Filho. Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
GHEYI, Rohit; TEIXEIRA, Leopoldo; RIBEIRO, Márcio. Participação em banca de Larissa Nadja Braz Brasileiro. Uma Técnica para Compilar Sistemas Configuráveis com #ifdefs baseada no Impacto da Mudança. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
GHEYI, Rohit; MOTA, Alexandre; TEIXEIRA, Leopoldo. Participação em banca de Heitor Paceli Maranhão. Program Synthesis From Denotational Semantics. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
PAES, Rodrigo; TEIXEIRA, Leopoldo; RIBEIRO, Márcio; DIAS, Leandro. Participação em banca de Diogo Cabral de Almeida. PRIDE: Uma Ferramenta de Detecção de Similaridade em Código-fonte. 2015. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

10.
KULESZA, Uirá; TEIXEIRA, Leopoldo; ARANHA, Eduardo; LIMA, Gleydson. Participação em banca de Jadson José dos Santos. Avaliação Sistemática de uma Abordagem para Integração de Funcionalidades em Sistemas Web Clonados. 2015. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

11.
TEIXEIRA, Leopoldo; MARCZAK, Sabrina; SARAIVA, Juliana. Participação em banca de Samuel Carlos Romeiro Azevedo Souto. Investigando o Uso e Aplicação de Métricas de Manutenibilidade em Empresas de Software Brasileiras. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

12.
CASTOR, Fernando; TEIXEIRA, Leopoldo; CACHO, Nelio. Participação em banca de Thiago Bezerra Lima e Silva. Bidimensional Exception Interfaces. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Teses de doutorado
1.
MELO, A. C. V.; GHEYI, Rohit; TEIXEIRA, Leopoldo; IYODA, Juliano; CORNELIO, M.. Participação em banca de Tarciana Dias da Silva. Validating Transformations of Programs using the Alloy Analyzer. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
KULESZA, Uirá; ARAUJO, João; ALENCAR, Fernanda; TEIXEIRA, Leopoldo; CASTRO, Jaelson. Participação em banca de Gabriela Guedes de Souza. Contextual Goal Models for Dynamic Software Product Lines. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
BORBA, Paulo; MOTA, Alexandre; OLIVEIRA, Marcel; SANTIAGO, Valdivino; TEIXEIRA, Leopoldo. Participação em banca de Lucas Albertins de Lima. Formalisation of SysML Design Models and an Analysis Strategy using Refinement. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
GHEYI, Rohit; BORBA, Paulo; TEIXEIRA, Leopoldo; RIBEIRO, Márcio; MASSONI, Tiago. Participação em banca de Melina Mongiovi. Scaling Testing of Refactoring Engines. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Doutorado
1.
GHEYI, Rohit; D'AMORIM, Marcelo; TEIXEIRA, Leopoldo; BORBA, Paulo. Participação em banca de Leonardo Fernandes Mendonça de Oliveira. Avoiding Useless Mutants. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
GARCIA, Alessandro; TEIXEIRA, Leopoldo; MONGIOVI, Melina; SOARES, Gustavo; MASSONI, Tiago. Participação em banca de Felipe Barros Pontes. Uma Abordagem para Detectar Bad Smells na API de Reflexão de Java. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
TEIXEIRA, Leopoldo; ALENCAR, Fernanda; ARAUJO, João. Participação em banca de Gabriela Guedes de Souza. Modelling, Configuring, and Evolving Requirements of Dynamic Software Product Lines. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
CARVALHO JUNIOR, F. H.; LIMA, Ricardo Massa; TEIXEIRA, Leopoldo. Participação em banca de Filipe Rafael Gomes Varjão. Tradução em Alto Nível de Objetos Java para Processos em Erlang. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
BRUNET, João; TEIXEIRA, Leopoldo; BORBA, Paulo. Participação em banca de Felipe Ebert. Using Task Context to Assist Code Review. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
BORBA, Paulo; MASSONI, Tiago; RIBEIRO, Márcio; GHEYI, Rohit; TEIXEIRA, Leopoldo. Participação em banca de Melina Mongiovi. Scaling Testing of Refactoring Engines. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

Trabalhos de conclusão de curso de graduação
1.
IYODA, Juliano; TEIXEIRA, Leopoldo. Participação em banca de Alberto Vital Santos de Sousa.AndroidDriller: Uma ferramenta de mineração de repositórios Android. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

2.
TEIXEIRA, Leopoldo; GARCIA, Vinicius. Participação em banca de Bruno Resende Pinheiro.Uma biblioteca Multi-Tenant para o framework Flask. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

3.
FERREIRA, Nivan; TEIXEIRA, Leopoldo. Participação em banca de Pedro Henrique Sousa de Moraes.Willow: Uma Ferramenta com Conceitos de Programação Interativa para Auxiliar no Ensino de Programação. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

4.
CORNELIO, M.; TEIXEIRA, Leopoldo. Participação em banca de Thayonara de Pontes Alves.Portando teorias entre assistentes de prova: um estudo de caso. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

5.
SANTANA, Célio; TEIXEIRA, Leopoldo. Participação em banca de José Augusto de Matos Almeida Júnior.Uma ferramenta para geração automática de documentação de usuário a partir de casos de teste. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco.

6.
SOARES, Sérgio; TEIXEIRA, Leopoldo. Participação em banca de Raquel Maria Santos de Oliveira.Estudo sobre a Utilização do Android Jetpack no Desenvolvimento de Aplicativos Android. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

7.
BORBA, Paulo; TEIXEIRA, Leopoldo. Participação em banca de Danilo Lima Ribeiro.Extração de medida de modularidade em projetos Android para predição de conflitos de merge. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

8.
TEIXEIRA, Leopoldo; CASTOR, Fernando. Participação em banca de Jonas de Araújo Lins.Framework para Processamentos de Eventos Complexos em Kotlin. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

9.
IYODA, Juliano; MOTA, Alexandre; TEIXEIRA, Leopoldo. Participação em banca de Lucas Bezerra Perrusi.AutoTestCoverage​P: Uma ferramenta para cobertura de testes de integração no contexto Android sem uso de código-fonte. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

10.
REBELO, Henrique; TEIXEIRA, Leopoldo. Participação em banca de Gabriel Henrique Daniel da Silva.Ferramenta voltada para o aprendizado do funcionamento de parsers. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

11.
CORNELIO, M.; TEIXEIRA, Leopoldo. Participação em banca de Pedro Sereno Galvão.Comprehensive Repository Analysis of Mobile Projects Built with React Native. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

12.
TEIXEIRA, Leopoldo; BORBA, Paulo. Participação em banca de Luís Henrique Delgado Santos.Relevância Prática de Fatores que Contribuem para Conflito de Merge. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

13.
SIMOES, F.; MELO, Silvio; TEIXEIRA, Leopoldo. Participação em banca de Milena Santos Cabral Carneiro.Análise de acurácia do Leap Motion Controller para exercícios dos dedos das mãos. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

14.
IYODA, Juliano; MOTA, Alexandre; TEIXEIRA, Leopoldo. Participação em banca de João Luiz de Andrade Neto.AutoTestCoverage​​C​​ : Uma ferramenta para obtenção de cobertura de código para componentes Android sem uso de instrumentação. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

15.
TEIXEIRA, Leopoldo; GONCALVES, Paulo. Participação em banca de Arthur Barros Lapprand.Uma Análise do Custo Computacional de Estimadores do DFSA. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

16.
TEIXEIRA, Leopoldo; SOARES, Sérgio. Participação em banca de Dimas Albuquerque Mendes.Análise de vulnerabilidades em aplicações Android com o uso de ferramentas de teste de intrusão e a metodologia OWASP. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

17.
TEIXEIRA, Leopoldo; GAMA, Kiev. Participação em banca de George Belo Guedes.CEPSwift: Complex Event Processing Framework for Swift. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

18.
TEIXEIRA, Leopoldo; CORNELIO, M.. Participação em banca de Pedro Henrique Martins Barbosa.Análise das Permissões e Violações de Privacidade em Aplicações para Android. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

19.
TEIXEIRA, Leopoldo; VASCONCELOS, Alexandre. Participação em banca de Valdi Ferreira do Nascimento Júnior.Estudo Sistemático sobre Testes de Usabilidade Realizados em Aplicativos Móveis. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

20.
CASTOR, Fernando; TEIXEIRA, Leopoldo. Participação em banca de Filipe Marques Chaves de Arruda.Suporte a Interfaces Bidimensionais para Exceções em Java na Plataforma de Desenvolvimento Eclipse. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

21.
SOUZA, F. F.; TEIXEIRA, Leopoldo. Participação em banca de Diogo Rodrigues Cabral.Visualização e Manipulação de Dados em Dispositivos Móveis. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

22.
ALENCAR, Andreza; ALBUQUERQUE, Gabriel; TEIXEIRA, Leopoldo. Participação em banca de Elizangela de Lima Lucena.Análise Comparativa entre Frameworks de Interfaces Ricas para JavaServer Faces. 2014. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal Rural de Pernambuco.

23.
TEIXEIRA, Leopoldo; RIBEIRO, Márcio; BRITO, Patrick. Participação em banca de Társis Wanderley Tolêdo.Uma Ferramenta para Interfaces Emergentes em Linhas de Produto de Software. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.



Participação em bancas de comissões julgadoras
Concurso público
1.
COSTA, Evandro; TEIXEIRA, Leopoldo; LUNA, H. P. L.. Concurso Público para Professor Adjunto no IC/UFAL. 2016. Universidade Federal de Alagoas.

Outras participações
1.
TEIXEIRA, Leopoldo. Membro do comitê de programa do International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2018). 2018. Universidad Rey Juan Carlos.

2.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Programming Languages (SBLP 2018). 2018. Universidade de São Paulo.

3.
TEIXEIRA, Leopoldo. Membro do comitê de programa da International Systems and Software Product Line Conference (SPLC 2018). 2018. Chalmers University of Technology.

4.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2018). 2018. Universidade de São Paulo.

5.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Engineering (SBES 2018). 2018. Universidade de São Paulo.

6.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Simpósio Latino-americano em Engenharia de Software (SLISW 2018). 2018. Universidade Presbiteriana Mackenzie.

7.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Programming Languages (SBLP 2017). 2017. Universidade Federal do Ceará.

8.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2017). 2017. Universidade Federal do Ceará.

9.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Workshop de Teses e Dissertações do CBSoft (WTDSoft 2017). 2017. Universidade Federal do Ceará.

10.
TEIXEIRA, Leopoldo. Membro do comitê de programa do track Software Product Lines and Software Ecosystems (SPLSeco @ SEAA 2017). 2017. Universität Wien.

11.
TEIXEIRA, Leopoldo. Membro do comitê de programa do International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE'2016). 2016. Technische Universität Braunschweig.

12.
TEIXEIRA, Leopoldo. Membro do comitê de avaliação de artefatos da European Conference on Object-Oriented Programming (ECOOP'2016 AEC). 2016. Università degli Studi di Roma La Sapienza.

13.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Engineering (SBES 2016). 2016. Universidade Tecnológica Federal do Paraná.

14.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Programming Languages (SBLP 2016). 2016. Universidade Tecnológica Federal do Paraná.

15.
TEIXEIRA, Leopoldo. Membro do comitê de programa da Intel® Embedded Systems Competition 2016. 2016. Universidade Federal de Santa Catarina.

16.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2016). 2016. Universidade Tecnológica Federal do Paraná.

17.
TEIXEIRA, Leopoldo; SEIDL, Christoph. Coordenador do Comitê de Programa do 7th International Workshop on Feature-Oriented Software Development (FOSD 2016). 2016. Associacion for Computing Machinery.

18.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2015). 2015. Universidade Federal de Pernambuco.

19.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Formal Methods (SBMF 2015). 2015. Universidade Federal de Pernambuco.

20.
TEIXEIRA, Leopoldo. Revisor de Artigo, 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015). 2015. Knowledge Systems Institute.

21.
TEIXEIRA, Leopoldo. Membro do comitê de programa da Latin-American School on Software Engineering (ELA-ES). 2015. Universidade Federal do Rio Grande do Sul.

22.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS). 2014. Universidade Federal Rural de Pernambuco.

23.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Latin American Workshop on Aspect-Oriented Software Development. 2013.

24.
TEIXEIRA, Leopoldo. Revisor de Artigo, 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2013.

25.
TEIXEIRA, Leopoldo. Revisor de Artigo, 12th International Conference on Generative Programming: Concepts & Experiences (GPCE'13). 2013.

26.
TEIXEIRA, Leopoldo. Revisor de Artigo, 16th International Software Product Line Conference (SPLC 2012). 2012.

27.
TEIXEIRA, Leopoldo. Revisor de Artigo, 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012). 2012.

28.
TEIXEIRA, Leopoldo. Revisor de Artigo, 5th International Conference on Software Language Engineering (SLE 2012). 2012.

29.
TEIXEIRA, Leopoldo. Membro do comitê de programa do Latin American Workshop on Aspect-Oriented Software Development.. 2012.

30.
TEIXEIRA, Leopoldo. Revisor de Artigo, XXV Simpósio Brasileiro de Engenharia de Software (SBES 2011). 2011.

31.
TEIXEIRA, Leopoldo. Revisor de Artigo, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). 2011.

32.
TEIXEIRA, Leopoldo. Revisor de Artigo, ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011). 2011.

33.
TEIXEIRA, Leopoldo. Revisor de Artigo, XXXV Conferencia Latinoamericana de Informática (XXXV CLEI). 2009.

34.
TEIXEIRA, Leopoldo. Revisor de Artigo, 2nd International Conference on Software Language Engineering (SLE 2009). 2009.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
DeepSpec Summer School. 2017. (Outra).

2.
Simpósio Brasileiro de Métodos Formais. 2017. (Simpósio).

3.
ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH). 2016. (Congresso).

4.
International Conference on Generative Programming: Concepts & Experiences (GPCE'2016). A Change-Centric Approach to Compile Configurable Systems. 2016. (Congresso).

5.
37th International Conference on Software Engineering (ICSE). 2015. (Congresso).

6.
Feature-oriented Software Development Meeting (FOSD).A Product Line of Theories for Reasoning about Safe Evolution of Product Lines. 2015. (Encontro).

7.
Sexto Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2015). 2015. (Congresso).

8.
The 19th International Software Product Line Conference: New Directions in Systems and Software Product Line Engineering. A Product Line of Theories for Reasoning about Safe Evolution of Product Lines. 2015. (Congresso).

9.
Quinto Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2014). 2014. (Congresso).

10.
Dagstuhl Seminar 13091.Analysis, Test and Verification in The Presence of Variability. 2013. (Seminário).

11.
International Summer School Marktoberdorf. 2012. (Outra).

12.
10th International Conference on Aspect-Oriented Software Development (AOSD 2011). 2011. (Congresso).

13.
Segundo Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011). Safe Composition of Configuration Knowledge-based Software Product Lines. 2011. (Congresso).

14.
Primeiro Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010). Mini-curso: Defining and Implementing Domain-Specific Languages. 2010. (Congresso).

15.
III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2009).Hephaestus: A Tool for Managing SPL Variabilities. 2009. (Simpósio).

16.
2nd RiSE Summer School on Software Product Lines. 2008. (Outra).

17.
III Workshop para Introdução de Reuso em Empresas (WIRE 2008). 2008. (Outra).

18.
XI Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software (IDEAS). 2008. (Congresso).

19.
1st Rise Summer School on Software Reuse. 2007. (Congresso).

20.
IX Simpósio Brasileiro de Linguagens de Programação. 2005. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
TEIXEIRA, Leopoldo. Chair da 3a Escola de Informática Teórica e Métodos Formais (ETMF 2018). 2018. (Outro).

2.
TEIXEIRA, Leopoldo. Chair da sessão de Demonstrações e Ferramentas da 23rd International Systems and Software Product Line Conference. 2018. (Outro).

3.
TEIXEIRA, Leopoldo; MASSONI, Tiago . Chair da 2a Escola de Informática Teórica e Métodos Formais (ETMF 2017). 2017. (Outro).

4.
TEIXEIRA, Leopoldo. Proceedings Chair do Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2017). 2017. (Outro).

5.
TEIXEIRA, Leopoldo. Publicity Chair da International Systems and Software Product Line Conference (2016). 2016. (Congresso).

6.
TEIXEIRA, Leopoldo; SEIDL, Christoph . Chair do 7th International Workshop on Feature-Oriented Software Development (FOSD 2016). 2016. (Outro).

7.
SOARES, Sérgio ; TEIXEIRA, Leopoldo . XXXV Congresso da Sociedade Brasileira de Computação (CSBC 2015). 2015. (Congresso).

8.
DANTAS, Francisco ; REBELO, Henrique ; TEIXEIRA, Leopoldo ; CAFEO, Bruno ; ANDRADE, Rodrigo . 11th Workshop on Software Modularity (WMod?14). 2014. (Congresso).

9.
BORBA, Paulo ; SOARES, Sérgio ; GARCIA, Alessandro ; TEIXEIRA, Leopoldo . 10th International Conference on Aspect-Oriented Software Development (AOSD 2011). 2011. (Congresso).

10.
TEIXEIRA, Leopoldo. V Seminário de Engenharia da Computação. 2006. (Congresso).

11.
TEIXEIRA, Leopoldo. IX Simpósio Brasileiro de Linguagens de Programação. 2005. (Congresso).

12.
TEIXEIRA, Leopoldo. IV Seminário de Engenharia da Computação. 2005. (Congresso).

13.
TEIXEIRA, Leopoldo. III Seminário de Engenharia da Computação. 2004. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Thayonara de Pontes Alves. Análise e Evolução de Sistemas Configuráveis - Aspectos Formais. Início: 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. (Orientador).

2.
Pedro Henrique Sousa de Moraes. Análise e Evolução de Sistemas Configuráveis. Início: 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. (Orientador).

3.
Victor Laerte de Oliveira. An Empirical Study on Kotlin Adoption by Android Developers. Início: 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

4.
Karine Galdino Maia Gomes. An Empirical Study on Software Product Line Evolution: Characterizing Safe and Partially Safe Evolution Scenarios. Início: 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

5.
Alex Juvencio Costa. Testing Strategies for Smart Cities applications. Início: 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

6.
Gabriel Ibson de Souza. Evolução Arquitetural de Aplicações Gamificadas. Início: 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

Tese de doutorado
1.
Thiago Mael de Castro. A Machine-Verified Theory of Commuting Strategies for Product-Line Reliability Analysis. Início: 2017. Tese (Doutorado em Informática) - Universidade de Brasília. (Coorientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Bruce Fabian Reis Albuquerque. Avaliação de conformidade de sites governamentais à cartilha de codificação dos Padrões Web em Governo Eletrônico - e-PWG. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Leopoldo Motta Teixeira.

2.
Gabriela Cunha Sampaio. Partially safe evolution of software product lines. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Leopoldo Motta Teixeira.

3.
Fernando Chaves Benbassat. Evolução Segura de Linhas de Produtos de Software: Cenários de Extração de Features. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Leopoldo Motta Teixeira.

4.
Thiago Mael de Castro. Estratégias Comutativas para Análise de Confiabilidade em Linhas de Produtos de Software. 2016. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Coorientador: Leopoldo Motta Teixeira.

Trabalho de conclusão de curso de graduação
1.
Alberto Vital Santos de Sousa. AndroidDriller: Uma ferramenta de mineração de repositórios Android. 2018. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

2.
José Augusto de Matos Almeida Júnior. Uma ferramenta para geração automática de documentação de usuário a partir de casos de teste. 2018. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

3.
Pedro Henrique Sousa de Moraes. Willow: Uma Ferramenta com Conceitos de Programação Interativa para Auxiliar no Ensino de Programação. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

4.
Thayonara de Pontes Alves. Portando teorias entre assistentes de prova: um estudo de caso. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

5.
Raquel Maria Santos de Oliveira. Estudo sobre a Utilização do Android Jetpack no Desenvolvimento de Aplicativos Android. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

6.
Danilo Lima Ribeiro. Extração de medida de modularidade em projetos Android para predição de conflitos de merge. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

7.
Gabriel Henrique Daniel da Silva. Ferramenta voltada para o aprendizado do funcionamento de parsers. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

8.
Pedro Sereno Galvão. Comprehensive Repository Analysis of Mobile Projects Built with React Native. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

9.
João Paulo Tenório Trindade. IncR: Ferramenta de Detecção Incremental de Comunicação entre Componentes Android. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

10.
Luiz Antonio de Vasconcelos Filho. Uma análise do uso de mapas open source em aplicações Android. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

11.
Antonio Alves Correia. Uma ferramenta de refactoring para disciplinar anotações em linhas de produto de software. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

12.
Vinícius Carneiro Pereira Souza. Uma ferramenta leve de análise para descoberta estática de comunicações entre componentes de aplicações Android. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

13.
Marcos Augusto Camelo Farias Xavier. Definição e Especificação de uma DSL para implementação de variações em uma linha de produtos de software. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Centro de Informática. Orientador: Leopoldo Motta Teixeira.

Iniciação científica
1.
Thayonara de Pontes Alves. Suporte ferramental à evolução de linhas de produtos de software. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

2.
Pedro Henrique Sousa de Moraes. Usando Live Programming para o Ensino de Algoritmos e Estruturas de Dados. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

Orientações de outra natureza
1.
Lucas Felix Lima Barbosa. Engenharia de software - SUATI. 2017. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

2.
Raphael Braga de Figueiredo Lima. Quality and Assurance Tests @ Epitrack - eHealth for better health. 2016. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

3.
Ângelo de Sant'Ana Santos Dias. SABER Tecnologias Educacionais e Sociais. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

4.
Gabriel Henrique Daniel da Silva. Monitoria da Disciplina IF688 - Compiladores. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.

5.
Matheus Raz de Oliveira Leandro. Monitoria da disciplina IF969 - Algoritmos e Estruturas de Dados. 2016. Orientação de outra natureza. (Sistemas de Informação) - Universidade Federal de Pernambuco. Orientador: Leopoldo Motta Teixeira.



Outras informações relevantes


Membro co-fundador do grupo de estudos Java_Poli, ligado ao Departamento de Sistemas Computacionais, POLI/UPE



Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 3:54:54