Tiago Lima Massoni

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


Professor Associado I da Universidade Federal de Campina Grande em Ciências da Computação. Possui graduação em Ciencias da Computacao pela Universidade Federal de Goiás (1998), mestrado em Engenharia de Software pela Universidade Federal de Pernambuco (2001) e, pela mesma instituição, doutorado em Engenharia de Software (2008). Foi coordenador do curso de Ciência da Computação da UFCG por dois anos (2011-2013).Tem experiência na área de Engenharia de Software, com ênfase em evolução e verificação de software, atuando principalmente nos seguintes temas: Design-by-contract, refatoramento, mineração de repositórios, verificação e aspectos humanos em engenharia de software. (Texto informado pelo autor)


Identificação


Nome
Tiago Lima Massoni
Nome em citações bibliográficas
MASSONI, T. L.;Massoni, Tiago

Endereço


Endereço Profissional
Universidade Federal de Campina Grande, Reitoria.
Rua Aprígio Veloso, 882
Universitário
58429900 - Campina Grande, PB - Brasil
Telefone: (83) 33101429
URL da Homepage: http://www.ufcg.edu.br/


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


2003 - 2008
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: A Model-driven Approach to Formal Refactoring, Ano de obtenção: 2008.
Orientador: Paulo Henrique Monteiro Borba.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Refactoring; Formal Methods; Models; Alloy; ROOL.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Desenvolvimento de Programas (Software).
1999 - 2001
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Um Processo de Software com Suporte para Implementacao Progressiva,Ano de Obtenção: 2001.
Orientador: Paulo Henrique Monteiro Borba.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: RUP; UML; Implementacao Progressiva; Orientacao a Objetos; Separation of Concerns; Design Patterns.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software / Especialidade: Processos de Software.
Setores de atividade: Consultoria em Sistemas de Informática; Desenvolvimento de Programas (Software).
1995 - 1998
Graduação em Ciencias da Computacao.
Universidade Federal de Goiás, UFG, Brasil.
Título: EasyZIP: Uma Ferramenta de Compactacao de Arquivos.
Orientador: Fabio Nogueira de Lucena.




Atuação Profissional



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

2015 - Atual
Vínculo: Voluntário, Enquadramento Funcional: Vice-diretor da Unidade CEEI/Embrapii, Carga horária: 4

Vínculo institucional

2009 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Centro de Engenharia Elétrica e Informática Departamento de Sistemas e Computação

Atividades

1/2016 - Atual
Conselhos, Comissões e Consultoria, Conselho Universitário, .

Cargo ou função
Representante do Centro de Engenharia Elétrica e Informática - suplente.
01/2015 - Atual
Pesquisa e desenvolvimento , Reitoria, Departamento de sistemas e Computação.

01/2013 - Atual
Pesquisa e desenvolvimento , Reitoria, Departamento de sistemas e Computação.

1/2012 - Atual
Pesquisa e desenvolvimento , Reitoria, Departamento de sistemas e Computação.

10/2011 - 10/2013
Direção e administração, Reitoria, Centro de Engenharia Elétrica e Informática.

Cargo ou função
Coordenador do Curso de Ciência da Computação.

Pontifícia Universidade Católica de Goiás, PUC GOIÁS, Brasil.
Vínculo institucional

2001 - 2001
Vínculo: Outro, Enquadramento Funcional: Professor horista, Carga horária: 16

Atividades

3/2001 - 7/2001
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados
Sistemas Operacionais

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

2000 - 2002
Vínculo: Colaborador, Enquadramento Funcional: Aluno de mestrado, Carga horária: 20


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

2006 - 2008
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

07/2008 - Atual
Ensino, Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Especificação e Verificação de Sistemas
06/2007 - Atual
Direção e administração, Escola Politécnica, .

Cargo ou função
Sub-gerente do departamento.
2/2006 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Software
Engenharia de Software
Linguagem de Programação Imperativa
Metodologia Científica
Projeto em Sistemas Operacionais
Projeto Final de Curso
Sistemas de Informação
Sistemas Distribuídos
01/2006 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

04/2007 - 06/2007
Ensino, Especialização em Engenharia de Software, Nível: Especialização

Disciplinas ministradas
Anáise e Projeto de Software

International Business Machines, IBM, Estados Unidos.
Vínculo institucional

2001 - 2002
Vínculo: Funcionário, Enquadramento Funcional: Desenvolvedor, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
IBM Silicon Valley Lab, San Jose, CA, EUA

Atividades

10/2001 - 12/2002
Serviços técnicos especializados , Data Management, Information Integration.

Serviço realizado
XML, DB2, web services, SOA.

Centro Universitário de João Pessoa, UNIPE, Brasil.
Vínculo institucional

2004 - 2005
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 8

Atividades

8/2004 - 12/2005
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Metodologia e Linguagem de Programação II (Java básico)
Metodologia e Linguagem de Programação III (Java avançado)

Faculdade de Tecnologia da Paraíba, FATEC-PB, Brasil.
Vínculo institucional

2005 - 2005
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 8

Atividades

2/2005 - 12/2005
Ensino, Desenvolvimento de Software, Nível: Graduação

Disciplinas ministradas
Análise e Projeto de Sistemas Orientados a Objetos
Metodologia e Linguagem de Programação (Java)

Instituto de Ensino Superior da Paraíba, IESP, Brasil.
Vínculo institucional

2004 - 2005
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 8

Atividades

8/2004 - 7/2005
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Análise e Projeto Orientados a Objetos
Linguagem de Programação III (Java)

Lg Informatica, LG, Brasil.
Vínculo institucional

1998 - 1999
Vínculo: Outro, Enquadramento Funcional: Engenheiro de Software, Carga horária: 20

Atividades

10/1998 - 2/1999
Estágios , Lg Informatica, .

Estágio realizado
Desenvolvimento Web, ASP, Visual Basic.

Telegoias S A, TELEGOIAS, Brasil.
Vínculo institucional

1998 - 1998
Vínculo: Servidor Público, Enquadramento Funcional: Estagiario, Carga horária: 20

Atividades

3/1998 - 10/1998
Estágios , Telegoias S A, .

Estágio realizado
Banco de Dados Oracle, Ferramentas de desenvolvimento Oracle.

Unibratec, UNIBRATEC, Brasil.
Vínculo institucional

2004 - 2004
Vínculo: Professor Visitante, Enquadramento Funcional: , Carga horária: 6

Atividades

2/2004 - 7/2004
Ensino, Desenvolvimento de Software, Nível: Graduação

Disciplinas ministradas
Linguagem de Programação Multi-plataforma (Java)

Centro de Inovação e Tecnologia Telmo Araujo, CITTA, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Voluntário, Enquadramento Funcional: Diretor Técnico, Carga horária: 8



Linhas de pesquisa


1.
Evolução de software
2.
Linhas de Produto de Software
3.
Métodos Formais
4.
Desenvolvimento Dirigido por Modelos
5.
Verificação de contratos em Software
6.
Fatores Humanos em Engenharia de Software
7.
Verificação e Testes de Software


Projetos de pesquisa


2017 - Atual
INCT Engenharia de Software Fase 2

Projeto certificado pelo(a) coordenador(a) Augusto Cezar Alves Sampaio em 25/08/2017.
Descrição: O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software), sob a Coordenação do Prof. Augusto Sampaio, da UFPE, tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica, primordialmente dentro do contexto de cidades inteligentes (SMART CITIES). Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados. Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum: (a) reuso sistemático e linhas de produto de software, (b) verificação e validação automática de sistemas, (c) técnicas de evolução e refatoração automáticas, (d) desenvolvimento dirigido por modelos, (e) linguagens de domínio específico, (f) qualidade de software e (g) engenharia de software experimental..
Situação: Em andamento; Natureza: Pesquisa.
2017 - Atual
A gamified m-training app for health professionals on protocols and participatory surveillance associated with Zika virus
Descrição: Neste projeto têm-se dois objetivos principais: a) projetar um aplicativo gamificado para dispositivos móveis para ajudar os ACSs a melhorar seu conhecimento e consciência de protocolos de vigilância relacionadas com o Zika; b) construir um piloto para mapeamento participativo e vigilância por GPS dos lugares infectados pelo Aedes aegypti usando dispositivos móveis, para fornecer informações oportunas para especialistas em saúde pública e os gestores públicos nos municípios de Recife, Olinda e Jaboatão dos Guararapes, além de Campina Grande, bem como em nível nacional e da OMS OPAS. Neste projeto, deseja-se estabelecer relações de cooperação entre a Universidade College London, no Reino Unido,.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Tiago Lima Massoni - Integrante / Wellington Pinheiro - Coordenador / Gabriela Mota - Integrante / André Lopes - Integrante.Número de orientações: 2
2017 - Atual
Avaliação de Abordagens para a Detecção de Defeitos em Programas Baseados em Contratos
Descrição: A verificação de conformidade entre código?fonte e contratos em programas desenvolvidos com o uso da metodologia Design-by-Contract (DBC) é crítica, dada a necessidade de garantir ao cliente que o comportamento do software satisfaz especificações. Os defeitos (aqui chamados não?conformidades) nesse tipo de programas devem ser detectados e corrigidos, para que a qualidade do sistema seja man- tida e assegurada. Soluções para a verificação de conformidade existem seguindo diversos métodos, misturando análise estática e dinâmica. desejamos comparar abordagens mais conhecidas para a linguagem C#, especificamente Clousot [5], Pex [16] e CONTRACTOK. Desse modo, estaremos con- tribuindo para o desenvolvimento de sistemas que utilizem programação por contratos como forma de aprimorar o projeto dos programas, e por consequência, sua qualidade geral. As contribuições deste projeto incluem estudos de caso realizados pelo bolsista para avaliação do potencial das estratégias de detecção de não?conformidades em DBC.
Situação: Em andamento; Natureza: Pesquisa.
2013 - 2016
Refatorando Programas na Presença de Contratos
Descrição: nstrução de programas com melhor design e que atendam seus requisitos. Este projeto tem como objetivos o aprimoramento do método baseado em análise dinâmica concretizado pelo JMLOK, e sua adaptação para o problema científico da preservação de conformidade dentro da atividade de refatoramento de pro- gramas especificados. As contribuições deste projeto incluem uma ferramenta de suporte a refatoramentos de programas Java com contratos JML e o relato de estudos de caso e experimentos avaliando o potencial desta ferramenta e de seu método de aplicação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) .
Integrantes: Tiago Lima Massoni - Coordenador / Augusto Sampaio - Integrante / Rohit Gheyi - Integrante / Márcio Cornélio - Integrante / Alysson Milanez - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1
2010 - 2013
Confiabilidade e Segurança em Software Crítico Embarcado
Descrição: Sistemas Embarcados têm se tornado cada vez mais comuns no suporte a execução de atividades críticas, tais como controle, monitoração e tomada de decisões, onde falhas podem resultar em perdas ou injúrias a pessoas, ao meio ambiente ou a negócios. Tais sistemas se enquadram no quinto grande desa o da SBC que tem como enfoque o desenvolvimento tecnológico de qualidade de sistemas. O objetivo deste projeto é prover fundamentação teórica e tecnologia para o desenvolvimento de software crítico embarcado correto e seguro, com base na aplicação de técnicas de modelagem formal, transformação, geração automática, veri cação de modelos e validação através de teste de software. Serão considerados aspectos e conceitos tais como abstração, tradução de linguagens, independência de plataforma, veri cação de propriedades temporais e análise probabilística. As soluções serão aplicadas, prioritariamente, ao domínio aeronáutico, através de cooperaçãao com a empresa Embraer, e de material de transporte metro-ferroviário, através de uma colaboração com a empresa AeS...
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (3) .
Integrantes: Tiago Lima Massoni - Integrante / Paulo Borba - Integrante / Augusto Sampaio - Coordenador / Rohit Gheyi - Integrante / patricia machado - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2012
Refatoração Sincronizada de Programas Anotados com Especificações Formais
Descrição: A assimilação das necessidades de evolução em projetos de software que fazem uso de especicação e modelagem ainda é difícil e custosa na prática. No caso de refatoração de programas, por exemplo, modelos abstratos em conformidade com os programas tornam-se inconsistentes; técnicas como engenharia round-trip e MDA (Model-Driven Architecture) lidam parcialmente com o problema, já que estabelecem perda da abstração desejável em especi cações. Este projeto pretende propor, formalizar, implementar e avaliar uma abordagem prática de refatoração de especi cações que geram refatorações de programas automáticas, mantendo sua conformidade. Especi cações e código-fonte serão localizados em um único artefato, utilizando Java e a linguagem de especi cação JML (Java Modeling Language), facilitando sua adoção da abordagem. Como complemento, iremos de nir um catálogo de refatorações de programas que permanecem corretos mesmo com especi cações JML presentes, formando assim uma metodologia de refatoração completa. Como resultado, pretendemos de nir uma metodologia de refatoração de especi cações e programas com alto índice de automatização, e uma ferramenta que dará suporte à metodologia e estudos de caso documentados..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Tiago Lima Massoni - Coordenador / Paulo Borba - Integrante / Augusto Sampaio - Integrante / Rohit Gheyi - Integrante / Leila Silva - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2012
Refatoramento de Programas para Migração entre Estruturas de Dados
Descrição: Bibliotecas de coleções apresentam alto índice de utilização em linguagens orientadas a objetos, já que a necessidade de estruturas de dados é perene em projetos de software. Por razões que podem incluir desempenho, facilidade de uso ou obsolescência, usuários de estruturas de dados precisam adaptar seus programas para substituir a estrutura em uso. Este tipo de modificação consiste em um refatoramento, já que o comportamento observável do programa deve ser preservado. Contudo, refatoramentos para adaptar os clientes de estruturas de dados não são automatizados. Feita de forma manual, esta tarefa é altamente tediosa e passível de erros. Ainda, diferenças de sintaxe e semântica entre as estruturas usadas dificultam enormemente esta tarefa. Mesmo que a sintaxe seja mantida com interfaces comuns, o que facilita a mudança, verificações adicionais são necessárias para que a estrutura substituta apresente a mesma semântica da anterior. Este projeto visa fornecer soluções de automatização para o problema descrito, através da proposição de uma técnica de refatoramento para programas que utilizam estruturas de dados. O proponente e seus colaboradores pretendem fazê-lo através de base teórica sólida em especificação e transformação de programas, aliada a implementação de suporte ferramental para refatoramentos. Uma ferramenta implementando a técnica proposta pelos pesquisadores será implementada e disponibilizada com licença gratuita e código aberto. Além disso, várias iniciativas de avaliação da técnica serão realizadas, através de experimentos de usabilidade e utilidade da ferramenta, além de estudos de caso analisando a corretude dos refatoramentos aplicados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Tiago Lima Massoni - Coordenador / Paulo Borba - Integrante / Augusto Sampaio - Integrante / Rohit Gheyi - Integrante / Márcio Cornélio - Integrante / Gustavo Soares - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1
2009 - 2016
INCT - Instituto Nacional de Engenharia de Software
Descrição: O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software), sob a Coordenação do Prof. Silvio Meira, da UFPE, tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica. Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados. Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum: (a) reuso sistemático e linhas de produto de software, (b) verificação e validação automática de sistemas, (c) técnicas de evolução e refatoração automáticas, (d) desenvolvimento dirigido por modelos, (e) linguagens de domínio específico, (f) qualidade de software e (g) engenharia de software experimental..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Tiago Lima Massoni - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
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: (1) .
Integrantes: Tiago Lima Massoni - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2010
Refatoração de Programas Baseada em Especificações
Descrição: Definição de métodos, técnicas e ferramentas para evolução e refatoração de programas orientados a objetos anotados, para corretude e verificação, com especificações abstratas, na linguagem JML (Java Modeling Language)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Tiago Lima Massoni - Integrante / Paulo Borba - Integrante / Augusto Sampaio - Coordenador / Rohit Gheyi - Integrante / Márcio Cornélio - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 3
2005 - 2008
Leis e Verificação para Modelos de Projeto
Descrição: Neste projeto temos como objetivo principal identificar, formalizar e analisar a aplicação prática de leis de modelagem. Em particular, pretende-se focar em leis de transformação de modelos de projetos descritos em Alloy, uma linguagem formal para modelagem orientada a objetos. Pretendemos também investigar a derivação, a partir das leis, de refactorings de modelos e a relação entre de leis e semânticas de modelos e programas, possibilitando a definição de suporte automático para verificar se algumas das restrições impostas pelo modelo de projeto são satisfeitas por outros modelos ou por supostas implementações do mesmo em Java..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (3) .
Integrantes: Tiago Lima Massoni - Integrante / Paulo Borba - Coordenador / Vander Alves - Integrante / Rohit Gheyi - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 5
2000 - 2002
Implementação Progressiva de Aplicações Orientadas a Objetos Complexas
Descrição: Neste projeto pretendemso definir e validar um método para a implementação de aplicações orientadas a objetos complexas. Em particular, este método deve suportar uma abordagem progressiva para implementação orientada a objetos, de forma que aspectos de distribuição, concorrência, e persistência não sejam inicialmente considerados pelo processo de implementação, mas sejam gradualmente introduzidos, preservando os requisitos funcionais da aplicação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) .
Integrantes: Tiago Lima Massoni - Integrante / Paulo Borba - Coordenador / Vander Alves - Integrante / Gibeon Soares - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 3


Projetos de desenvolvimento


2018 - Atual
Diagnosis
Descrição: A HP possui uma base de dados de telemetria de mais de 15 milhões de computadores espalhados pelo mundo, dos quais cerca de 5 milhões reportam diariamente informações dos componentes do PC (disco, memória, rede, bateria, etc). Essa base segue um modelo bem definido e padronizado de coleta e armazenamento em cloud (AWS), com dicionários detalhados de todos os dados. Em 2018, pretende-se dar continuidade a esta linha de atuação, mas agora com foco em recomendação para suporte ao diagnóstico. Mais especificamente, pretende-se investigar três áreas principais: System Health (OS, System, BIOS, Drivers, Win ROT), Performance (CPU, Mem, I/O, Thermal) e Power & Battery. As bases de dados serão analisadas utilizando o conhecimento e os resultados obtidos com a plataforma desenvolvida em 2017 para investigar a possibilidade de prover suporte ao diagnóstico de problemas..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Técnico de nível médio: (4) Graduação: (8) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Tiago Lima Massoni - Coordenador / Eanes Torres - Integrante / Frederico Bublitz - Integrante.
2017 - 2018
Mobile SAR PCP
Descrição: Neste projeto, tem-se como objetivo o desenvolvimento de um sistema de software multiplataforma (mobile/web) para monitoramento de execução de processos de automação de manufatura. As tecnologias utilizadas devem permitir a execução do sistema tanto em interface web quanto em interface para dispositivos móveis, garantindo usabilidade eficiente em ambos os casos. Além disso, devem ser utilizadas tecnologias que não demandem licença de uso uma vez colocadas em produção..
Situação: Concluído; Natureza: Desenvolvimento.
2016 - 2017
FinMan (Plataforma para Gerenciamento de Aplicativos Financeiros)
Descrição: Neste projeto, tem-se como foco o desenvolvimento de uma plataforma de software para gerenciamento de aplicativos financeiros para pagamento móvel para os sistemas Telium II e Telium Tetra da Ingenico. A plataforma é composta por um conjunto de aplicativos financeiros e mecanismos de gerenciamento do ciclo vida dos mesmos..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Tiago Lima Massoni - Coordenador.
2016 - Atual
VISUALIZADOR REMOTO DE EXAMES ? VRE
Descrição: A Toshiba Medical é uma empresa multinacional de origem japonesa, fundada em 1930. São mais de 200 escritórios e fábricas pelo mundo. Desenvolve, fabrica, vende e presta serviços técnicos para equipamentos médicos ? incluindo Raio-X, Ultrassonografia, Tomografia Computadorizada, Ressonância Magnética e outros. Os equipamentos de Ultrassonografia exibem imagens para os médicos que realizam os exames e podem armazenar imagens e vídeos em servidores adequados à este fim. Caso outro médico queira acompanhar os resultados em tempo real ? atualmente ele precisará estar fisicamente na sala onde o exame está sendo realizado. Pensando na possibilidade de um ou mais médicos analisar os resultados de um paciente remotamente e dessa forma ter um diagnóstico possivelmente mais preciso, determinou-se a criação de um visualizador remoto para a tela do aparelho de ultrassonografia. Médicos com alguma restrição de locomoção ou ainda a possibilidade de adicionar mais médicos além daqueles presentes na sala do exame são os futuros usuários desse produto a ser criado a partir dos esforços desse plano de trabalho..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Técnico de nível médio: (0) Graduação: (1) / Especialização: (2) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Tiago Lima Massoni - Coordenador.Financiador(es): Fundação Parque Tecnológico da Paraíba - Auxílio financeiro.
2014 - 2015
Controle de Chão de Fábrica DL-1CONV
Descrição: Neste projeto, tem-se como objetivo o desenvolvimento de um sistema de controle de chão de fábrica para a DL, considerando suas necessidades específicas, requisitos da equipe e a característica dos produtos fabricados pela DL. O sistema deverá utilizar uma arquitetura web..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) .
Integrantes: Tiago Lima Massoni - Coordenador / joão arthur brunet - Integrante.Financiador(es): Digital Life - Auxílio financeiro.
2012 - Atual
e-Pol: Sistema Integrado para Inquéritos Policiais
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Técnico de nível médio: (0) Graduação: (15) / Especialização: (1) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Tiago Lima Massoni - Integrante / Dalton Serey - Coordenador / Jorge Abrantes - Integrante / Franklin Ramalho - Integrante / wilkerson andrade - Integrante.Financiador(es): Departamento de Polícia Federal - Auxílio financeiro.


Revisor de periódico


2011 - 2011
Periódico: The Journal of Systems and Software
2012 - 2013
Periódico: Journal of Universal Computer Science (Print)
2014 - 2015
Periódico: Journal of Software: Evolution and Process
2017 - Atual
Periódico: Science of Computer Programming (Print)
2014 - 2015
Periódico: Science of Computer Programming (Print)
2015 - 2017
Periódico: Information and Software Technology
2016 - Atual
Periódico: Journal of Software Engineering Research and Development


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Verificação de software.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Fatores Humanos em Engenharia de Software.


Idiomas


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


Prêmios e títulos


2011
Best Paper: Brazilian Symposium on Software Engineering, SBC.
2010
Best use of presentation technology, Brazilian Symposium on Formal Methods.
2009
"SafeRefactor - Tool for Checking Refactoring Safety" foi eleito a melhor ferramenta do Simpósio Brasileiro de Engenharia de Software (Sessão de Feramentas), Sociedade Brasileira de Computação., SBC.
2007
Paraninfo da turma de formandos do curso de Engenharia da Computação, Universidade de Pernambuco.
2002
Bravo Award, IBM.


Produções



Produção bibliográfica
Citações

SCOPUS

Outras
Total de trabalhos:20
Total de citações:246
MASSONI, T.L.  Data: 15/09/2010

Artigos completos publicados em periódicos

1.
ALVES, EVERTON L. G.2018 ALVES, EVERTON L. G. ; SONG, MYOUNGKYU ; MASSONI, T. L. ; MACHADO, PATRÍCIA D. L. ; KIM, MIRYUNG . Refactoring Inspection Support for Manual Refactoring Edits. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v. 44, p. 365-383, 2018.

2.
ALVES, EVERTON L.G.2017ALVES, EVERTON L.G. ; Massoni, Tiago ; MACHADO, PATRÍCIA DUARTE DE LIMA . Test coverage of impacted code elements for detecting refactoring faults: An exploratory study. JOURNAL OF SYSTEMS AND SOFTWARE, v. 123, p. 223-238, 2017.

3.
ALVES, EVERTON L. G.2016ALVES, EVERTON L. G. ; MACHADO, PATRÍCIA D. L. ; Massoni, Tiago ; KIM, MIRYUNG . Prioritizing test cases for early detection of refactoring faults. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 26, p. 402-426, 2016.

4.
SOARES, G.2012 SOARES, G. ; GHEYI, R. ; MASSONI, T. L. . Automated Behavioral Testing of Refactoring Engines. IEEE Transactions on Software Engineering, v. 39, p. 147-162, 2012.

5.
GHEYI, R.2011GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . Automatically Checking Feature Model Refactorings. Journal of Universal Computer Science (Print), v. 17, p. 684-711, 2011.

6.
Falconieri Freitas, Gabriel2010Falconieri Freitas, Gabriel ; Cornélio, Márcio ; MASSONI, T. L. ; Gheyi, Rohit . Object-oriented Programming Laws for Annotated Java Programs. Electronic Proceedings in Theoretical Computer Science, v. 21, p. 65-76, 2010.

7.
SOARES, G.2010 SOARES, G. ; GHEYI, R. ; MASSONI, T. L. ; SEREY, D. . Making Program Refactoring Safer. IEEE Software, v. 27, p. 52-57, 2010.

8.
MASSONI, T. L.;Massoni, Tiago2008MASSONI, T. L.; GHEYI, R. ; BORBA, P. . A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. Electronic Notes in Theoretical Computer Science, v. 195, p. 189-209, 2008.

9.
GHEYI, R.2008GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . Algebraic Laws for Feature Models. Journal of Universal Computer Science, v. 14, p. 3573-3591, 2008.

10.
GHEYI, R.2007GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . A Static Semantics for Alloy and its Impact in Refactorings. Electronic Notes in Theoretical Computer Science, v. 184, p. 209-233, 2007.

11.
MASSONI, T. L.;Massoni, Tiago2006MASSONI, T. L.; GHEYI, R. ; BORBA, P. . An Approach to Invariant-based Program Refactoring. Electronic Communications of the EASST, v. 3, p. 91-101, 2006.

12.
GHEYI, R.2005GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . An Abstract Equivalence Notion for Object Models. Electronic Notes in Theoretical Computer Science, http://www.sciencedirect.com/, v. 130, p. 3-21, 2005.

Capítulos de livros publicados
1.
MASSONI, T. L.; BORBA, P. ; SAMPAIO, A. . A RUP-based Software Process Supporting Progressive Implementation. In: IRMA. (Org.). UML and Unified Process. Hershey, PA (EUA): IRM Press, 2003, v. , p. 375-387.

Trabalhos completos publicados em anais de congressos
1.
BELTRAN, J. ; BOSCOR, A. ; PINHEIRO, W. ; MASSONI, T. L. ; KOSTKOVA, P. . Zika: A New System to Empower Health Workers and Local Communities to Improve Surveillance Protocols by E-learning and to Forecast Zika Virus in Real Time in Brazil. In: International Conference on Digital Health, 2018, Lyon. Proceedings of the 2018 International Conference on Digital Health. New York: ACM, 2018. p. 90-94.

2.
MILANEZ, ALYSSON ; LIMA, BIANCA ; FERREIRA, JOSÉ ; Massoni, Tiago . Nonconformance between programs and contracts. In: the Symposium, 2017, Marrakech. Proceedings of the Symposium on Applied Computing - SAC '17, 2017. p. 1219-1224.

3.
GALDINO, E. ; MACHADO, P. ; MASSONI, T. L. . Test Coverage and Impact Analysis for Detecting Refactoring Faults: A Study on the Extract Method Refactoring. In: ACM Symposium on Applied Computing, 2015, Salamanca. ACM Symposium on Applied Computing, 2015.

4.
GALDINO, E. ; MACHADO, P. ; MASSONI, T. L. ; SANTOS, S. . A Refactoring-based Approach for Test Case Selection and Prioritization. In: International Workshop on Automation of Software Test (AST?13), 2013, San Francisco. International Workshop on Automation of Software Test (AST?13), 2013.

5.
MILANEZ, A. ; Gheyi, Rohit ; MASSONI, T. L. . Categorizing Nonconformances Between Programs and Their Specifications. In: Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasília. Brazilian Workshop on Systematic and Automated Software Testing, 2013.

6.
GALDINO, E. ; SANTOS, S. ; MACHADO, P. ; MASSONI, T. L. . Test Case Prioritization Using PriorJ. In: Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasília. Brazilian Workshop on Systematic and Automated Software Testing, 2013.

7.
SOARES, G. ; CATÃO, B. ; VARJÃO, C. ; AGUIAR, S. ; GHEYI, R. ; MASSONI, T. L. . Analyzing Refactorings on Software Repositories. In: Simpósio Brasileiro de Engenharia de Software, 2011, São Paulo. Simpósio Brasileiro de Engenharia de Software, 2011.

8.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . Synchronizing Model and Program Refactoring. In: Brazilian Symposium on Formal Methods, 2010, Natal. Brazilian Symposium on Formal Methods, 2010.

9.
SOARES, G. ; GHEYI, R. ; MASSONI, T. L. ; CORNÉLIO, M. ; CAVALCANTI, D. . Generating Unit Tests for Checking Refactoring Safety. In: Brazilian Symposium on Programming Languages, 2009, Gramado. Brazilian Symposium on Programming Languages, 2009. p. 159-172.

10.
FREITAS, G. ; CORNÉLIO, M. ; MASSONI, T. L. ; GHEYI, R. . Object-oriented Programming Laws for Annotated Java Programs. In: International Workshop on Rule-Based Programming, 2009, Brasília. International Workshop on Rule-Based Programming, 2009.

11.
GHEYI, R. ; MASSONI, T. L. ; BORBA, P. ; SAMPAIO, A. . A Complete Set of Object Modeling Laws for Alloy. In: Brazilian Symposium on Formal Methods, 2009, Gramado. 12th Brazilian Symposium on Formal Methods, 2009. p. 204-219.

12.
SOARES, G. ; CAVALCANTI, D. ; GHEYI, R. ; MASSONI, T. L. ; SEREY, D. . SafeRefactor - Tool for Checking Refactoring Safety. In: Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza. Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2009.

13.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . Formal Model-Driven Refactoring. In: European Joint Conferences on Theory and Practice of Software (ETAPS), 2008, Budapeste. Fundamental Approaches to Software Engineering. New York: Springer, 2008. v. 4961. p. 362-376.

14.
GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . A Complete and Minimal Set of Algebraic Laws for Feature Models. In: Simpósio Brasileiro de Linguagens de Programação, 2008, Fortaleza. XII Brazilian Symposium on Programming Languages, 2008. p. 129-142.

15.
GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . Formally Introducing Alloy Idioms. In: 10th Brazilian Symposium on Formal Methods, 2007, Ouro Preto. 10th Brazilian Symposium on Formal Methods, 2007.

16.
ALVES, V. ; GHEYI, R. ; MASSONI, T. L. ; KULESZA, U. ; BORBA, P. ; LUCENA, C. . Refactoring Product Lines. In: Generative Programming and Component Engineering, 2006, Portland, Oregon. Generative Programming and Component Engineering Proceedings. New York, NY, USA: ACM Press, 2006. p. 201-210.

17.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . A Formal Framework for Establishing Conformance between Object Models and Object-Oriented Programs. In: Brazilian Symposium of Formal Methods, 2006, Natal. Proceedings of the SBMF 2006, 2006. p. 201-216.

18.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . An Approach to Invariant-based Automated Refactoring. In: 3rd Workshop on Software Evolution through Transformations, 2006, Natal. Workshop on Software Evolution through Transformations: Embracing Change, affiliated with International Conference on Graph Transformation, 2006. p. 91-101.

19.
GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . A Theory for Feature Models in Alloy. In: First Alloy Workshop, 2006, Portland. First Alloy Workshop, 2006.

20.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . Formal Refactoring for UML Class Diagrams. In: Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. Simpósio Brasileiro de Engenharia de Software, 2005. p. 152-167.

21.
GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . A Rigorous Approach for Proving Model Refactorings. In: IEEE/ACM International Conference on Automated Software Engineering, 2005, Long Beach, CA. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. New York, NY, USA: ACM Press, 2005. p. 372-375.

22.
GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . Type-safe Refactorings for Alloy. In: Brazilian Symposium of Formal Methods, 2005, Porto Alegre. Proceedings of the SBMF 2005, 2005. p. 174-190.

23.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . A UML Class Analyzer. In: 3rd International Workshop on Critical Systems Development with UML, 2004, Lisboa. 3rd International Workshop on Critical Systems Development with UML. Munich: TU Munich, 2004. v. I0415. p. 100-114.

24.
GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . An Abstract Equivalence Notion for Object Models. In: Brazilian Symposium of Formal Methods, 2004, Recife. Proceedings of SBMF 2004. Recife: Editora Universitária UFPE, 2004. p. 1-14.

25.
GHEYI, R. ; MASSONI, T. L. ; BORBA, P. . Basic Laws of Object Modeling. In: Specification and Verification of Component-Based Systems - SAVCBS, 2004, Newport Beach (CA). 3rd Workshop on Specification and Verification of Component-Based Systems, 2004. p. 18-25.

26.
MASSONI, T. L.; SAMPAIO, A. ; BORBA, P. . A RUP-based Software Process Supporting Progressive Implementation. In: nformation Resources Management Association International Conference (IRMA), 2002, Seattle. Issues & Trends of Information Technology Management in Contemporary Organizations. Hershey, PA (USA): Idea Group Publishing, 2002. v. 1. p. 480-483.

27.
MASSONI, T. L.; SAMPAIO, A. ; BORBA, P. . Progressive Implementation of Aspects. In: Workshop on Advanced Separation of Concerns in Object-Oriented Systems, ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, 2001, Tampa Bay, 2001.

28.
MASSONI, T. L.; ALVES, V. ; SOARES, S. ; BORBA, P. . PDC: The Persistent Data Collections Pattern. In: First Latin American Conference on Pattern Languages (SugarloafPlop), 2001, Rio de Janeiro. 1st Latin American Conference on Pattern Languages of Programming. São Paulo: Editora da Universidade de São Paulo, 2001. p. 311-326.

Resumos expandidos publicados em anais de congressos
1.
MILANEZ, ALYSSON ; Massoni, Tiago ; Gheyi, Rohit . Enhancing conformance checking for contract-based programs. In: the companion publication of the 2014 ACM SIGPLAN conference, 2014, Portland. Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity - SPLASH '14. p. 57.

2.
MILANEZ, A. ; SOUSA, D. ; MASSONI, T. L. ; GHEYI, R. . JMLOK2: A tool for detecting and categorizing nonconformances. In: Congresso Brasileiro de Software: Teoria e Prática, 2014, Maceió. Sessão de Ferramentas do Congresso Brasileiro de Software: Teoria e Prática, 2014.

3.
NASCIMENTO, D. ; MASSONI, T. L. ; PIRES, C. E. . A Static Analysis-based Approach to Suggest Improvements for Stored Procedures. In: Simpósio Brasileiro de Linguagens de Programação, 2012, Natal. Simpósio Brasileiro de Linguagens de Programação, 2012.

4.
VARJÃO, C. ; GHEYI, R. ; MASSONI, T. L. ; SOARES, G. . JMLOK: Uma Ferramenta para Verificar Conformidade em Programas Java/JML. In: CBSoft Sessão de Ferramentas, 2011, São Paulo. CBSoft Sessão de Ferramentas, 2011.

Resumos publicados em anais de congressos
1.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . A Model-driven Approach to Formal Refactoring. In: OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES and APPLICATIONS, 2005, San Diego, CA. OOPSLA Companion, 2005. p. 124-125.

2.
GHEYI, R. ; MASSONI, T. L. . Formal Refactorings for Object Models. In: OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES and APPLICATIONS, 2005, San Diego. OOPSLA Companion, 2005. p. 208-209.

Apresentações de Trabalho
1.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . Formal Model-Driven Program Refactoring. 2008. (Apresentação de Trabalho/Congresso).

2.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . Formal Refactorings for UML Class Diagrams. 2005. (Apresentação de Trabalho/Congresso).

3.
MASSONI, T. L.; GHEYI, R. ; BORBA, P. . A UML Class Diagram Analyzer. 2004. (Apresentação de Trabalho/Congresso).

Outras produções bibliográficas
1.
MASSONI, T. L.. A Model-driven Approach to Formal Refactoring. Recife: UFPE, 2008 (Tese de doutorado).

2.
MASSONI, T. L.. Um Processo de Software com Suporte para Implementação Progressiva. Recife: UFPE, 2001 (Dissertação de mestrado).


Produção técnica
Programas de computador sem registro
1.
MILANEZ, A. ; SOUSA, D. ; MASSONI, T. L. ; GHEYI, R. . Contract OK: verificação de programas C# com Code Contracts. 2015.

2.
MILANEZ, A. ; VARJÃO, C. ; MASSONI, T. L. ; GHEYI, R. . JMLOK: Ferramenta de Verificação de Não-conformidades. 2013.

Processos ou técnicas
1.
MASSONI, T. L.; BORBA, P. ; SAMPAIO, A. . RUPim: Processo de Software para Implementação Progressiva. 2001.


Demais tipos de produção técnica
1.
MASSONI, T. L.. Gerência Ágil de Projetos. 2008. (Curso de curta duração ministrado/Especialização).

2.
MASSONI, T. L.. Análise e Projeto de Sistemas. 2007. (Curso de curta duração ministrado/Especialização).

3.
MASSONI, T. L.. Análise e Projeto Orientados a Objetos. 2007. (Curso de curta duração ministrado/Especialização).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
BRUNET, J. A.; FRANCA, A. C.; MASSONI, T. L.. Participação em banca de Wallison Fernando da Silva. How Do Work Motivation Aspects Impact Software Development Turnover? A Quantitative Study with Brazilian Developers. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
MASSONI, T. L.; ANDRADE, W.; CAJUEIRO, A.; MOTA, A.. Participação em banca de Filipe Neves Cavalcante. Listas Usadas como Conjuntos: Um Estudo Através de Ferramenta de Reescrita. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
MASSONI, T. L.; BRUNET, J. A.; CORNÉLIO, M.. Participação em banca de Normando Gomes de Carvalho. Uma Abordagem Baseada em Design By Contract para Auxiliar a Compreensão de Programas. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
MASSONI, T. L.; IYODA, J.; ANDRADE, W.; MACHADO, P.. Participação em banca de Dalton Nicodemos Jorge. Um Artefato Central para Engenharia de Requisitos e Teste Baseado em Modelo. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
MASSONI, T. L.; MACHADO, P.; ALVES, EVERTON L. G.; GARCIA, V.. Participação em banca de Gabriella Mayara Tavares Alves. Automatização de Testes em Equipes Ágeis: Um Estudo Qualitativo usando Teoria Fundamentada. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

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

7.
KULESZA, U.; MASSONI, T. L.; RAMALHO, F.. 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.

8.
CORNÉLIO, M.; MOTA, A.; MASSONI, T. L.. Participação em banca de Karina da Silva Correia. Evolução Arquitetural de Um Web Service: Transformação de Código e Avaliação de Arquitetura. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
MASSONI, T. L.; BITTENCOURT, R. A.; SEREY, D.; Valente, M. T.. Participação em banca de Izabela Vanessa de Almeida. Arquitetura de Software no Desenvolvimento de Sistemas Reais. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

10.
RIBEIRO, M.; MASSONI, T. L.; GHEYI, R.. Participação em banca de Gustavo Wagner Diniz Mendes. Uma Abordagem para Testar Implementações de Refatoramentos Estruturais e Comportamentais de Programas C. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

11.
MASSONI, T. L.; RODRIGUES, C.; RIZZO, A.; LEITAO, P.. Participação em banca de Um Arcabouço para Avaliação do Nível de Maturidade em Teste. Um Arcabouço para Avaliação do Nível de Maturidade em Teste de Software para Micro e Pequenas Empresas. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

12.
MASSONI, T. L.; SAMPAIO, A.; Santos, A.. Participação em banca de David Menezes Cardoso. Um Framework para Implementação de Serviços Monitoráveis. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

13.
CORNÉLIO, M.; MASSA, R.; MASSONI, T. L.. Participação em banca de Walter Maymone de Melo Neto. Validando AJCSP com o uso de JPF em leis algébricas CSP. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

14.
FLACH, C. V.; MASSONI, T. L.; SEREY, D.; ABRANTES, J.. Participação em banca de Diego Cavalcanti. Estudo do Uso de Vocabulários para Analisar o Impacto de Relatórios de Defeitos a Código-Fonte. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

15.
Fábio Silva; SOARES, S.; Massoni, Tiago. Participação em banca de Emanoel Francisco Spósito Barreiros. A Systematic Mapping Study on Software Engineering Testbeds. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

16.
KULESZA, U.; SEREY, D.; ABRANTES, J.; MASSONI, T. L.. Participação em banca de Jemerson Figueiredo Damásio. Modelagem Estatística de Mudanças Estruturais para Simulação de Evolução de Software. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

17.
MASSONI, T. L.; CORNÉLIO, M.; FREITAS, F.. Participação em banca de Lilian Oliveira Ramires. Análise de Ontologias por Meio de um Analisador Baseado em Busca de Modelos. 2009. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

18.
GHEYI, R.; SEREY, D.; ABRANTES, J.; PROCOPIO, F.; MASSONI, T. L.. Participação em banca de Pablo Oliveira Antonino de Assis. Análise da Correlação entre Métricas de Evolução e Qualidade de Design de Software. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

19.
SEREY, D.; PIRES, P.; RAMALHO, F.; MASSONI, T. L.. 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.

20.
GHEYI, R.; MASSONI, T. L.; CORNÉLIO, M.. Participação em banca de Gabriel Ramos Falconiere Freitas. Refactoring Annotated Java Programs: A Rule-based Approach. 2009. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

21.
MEIRA, S. R. L.; LEITAOADEODATO, P. J.; MASSONI, T. L.. Participação em banca de Miguel Eugênio Ramalho Bezerra. Detecção de Módulos de Software Propensos a Falhas Através de Técnicas de Aprendizagem de Máquinas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

22.
MASSONI, T. L.; SOARES, S.; Valente, M. T.. Participação em banca de Mário Queiroz Monteiro. Uma Avaliação do Impacto da Evolução de Software sobre sua Arquitetura. 2008. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

Teses de doutorado
1.
BORBA, P.; GARCIA, V.; TEIXEIRA, L.; MURTA, L.; MASSONI, T. L.; SARMA, A.. Participação em banca de Paola Rodrigues Godoy Accioly. Understanding Collaboration Conflicts Characteristics. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
Massoni, Tiago; GARCIA, A.; ALVES, EVERTON L. G.; DANTONI, L.; GHEYI, R.; SOARES, G.. Participação em banca de Reudismam Rolim de Sousa. Learning Syntactic Program Transformations from Examples. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
GOMES, R. C. M.; FABIANO, A.; MOURA, J. A. B.; MASSONI, T. L.; VENANCIO, A.; LOPES, K.. Participação em banca de Cesar Rocha Vasconcelos. NoBI: uma interface Northbound para a Programação Dinâmica de Redes. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
MASSONI, T. L.; GHEYI, R.; SIMAO, A.; MASSA, R.; ANDRADE, W.; CAJUEIRO, A.. Participação em banca de Alysson Filgueira Milanez. Fostering Design By Contract by Exploiting the Relationship between Code Commentary and Contracts. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
MASSONI, T. L.; GHEYI, R.; GARCIA, A.; BRITO, P.; FONSECA, B.. Participação em banca de Mário Hozano Lucas de Souza. Melhorando a Eficácia e Eficiência na Detecção de Bad Smells a Partir de uma Customização Guiada. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
MACHADO, P.; ANDRADE, W.; SIMAO, A.; MATTIELLO-FRANCISCO, M. F.; MASSONI, T. L.. Participação em banca de Alan Kelon Oliveira de Moraes. On the Influence of Test Adequacy Criteria on Test Suite Reduction for Model-based Testing of Real-time Systems. 2017. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
MASSONI, T. L.; ALMEIDA, H.; PERKUSICH, A.; KULESZA, U.; GUERRA, E.. Participação em banca de Rodrigo de Almeida Vilar de Miranda. Decomposição e Reúso de Componentes Baseados em Metadados para Interfaces Gráficas do Usuário em Aplicações Corporativas Web. 2017. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
MASSONI, T. L.; ANDRADE, W.; IYODA, J.; MARTINS, A.; MACHADO, PATRÍCIA D. L.. Participação em banca de João Felipe Silva Ouriques. Investigation of Test Case Prioritization for Model-based Testing. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
MASSONI, T. L.; BORBA, P.; SOARES, G.; KASTNER, C.. Participação em banca de Flávio Mota Medeiros. An Approach to Safely Evolve Preprocessor-Based C Program Families. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

10.
MASSONI, T. L.; TEIXEIRA, L.; BORBA, P.; RIBEIRO, M.. Participação em banca de Melina Mongiovi Cunha Lima Sabino. Scaling Testing of Refactoring Engines. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

11.
Valente, M. T.; MENDONCA, M.; BITTENCOURT, R. A.; SANTANNA, C.; MASSONI, T. L.. Participação em banca de Bruno Carreiro da Silva. Understanding Software Cohesion Metrics: Experimental Assessment of Conceptual Cohesion. 2015. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

12.
BORBA, P.; GARCIA, A.; MASSONI, T. L.; MACHADO, P.. Participação em banca de Gustavo Soares. Uma Abordagem Automatizada para Testar Ferramentas de Refatoramento. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

13.
SIMAO, A.; CARTAXO, E.; MASSONI, T. L.; ARANHA, E.. Participação em banca de Francisco Gomes de Oliveira Neto. Investigation of Similarity-based Test Case Selection for Specification-based Regression Testing. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

14.
Valente, M. T.; SANTANNA, C.; SAUVE, J.; SEREY, D.; MASSONI, T. L.. Participação em banca de João Arthur Brunet Monteiro. Erosão Arquitetural em Perspectiva: Um estudo sobre regras arquiteturais, suas violações e como os desenvolvedores lidam com o problema. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

15.
SAUVE, J.; SEREY, D.; Valente, M. T.; KULESZA, U.; MASSONI, T. L.. Participação em banca de Roberto Almeida Bittencourt. Habilitando a Checagem Estática de Conformidade Arquitetural de Software em Evolução. 2012. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

16.
SAMPAIO, A.; David Deharbe; GHEYI, R.; Massoni, Tiago. Participação em banca de Wilkerson de Lucena Andrade. Symbolic Model-Based Testing for Real-Time Systems. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

17.
ABRANTES, J.; GHEYI, R.; BRAGA, C. O.; GOMES, L. F.; RAMALHO, F.; MASSONI, T. 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.

18.
ABRANTES, J.; SOARES, S.; MASSONI, T. L.; FLACH, C. V.. Participação em banca de Andréa Pereira Mendonça. Programação Orientada a Problema: uma Metodologia para Entendimento de Problemas e Especificação no Contexto de Ensino de programação para Iniciantes. 2010. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Doutorado
1.
MASSONI, T. L.; ALVES, V.; BONIFACIO, R.; Valente, M. T.. Participação em banca de Marcos César de Oliveira. Discovering Refactorings to Improve Software Architecture Quality Using Fine-grained Co-change Dependencies. 2018. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

2.
SOARES, G.; GHEYI, R.; GALDINO, E.; GARCIA, A.; DANTONI, L.; MASSONI, T. L.. Participação em banca de Reudismam Rolim de Sousa. Learning Syntactic Program Transformations from Examples. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
GHEYI, R.; GARCIA, A.; SOARES, G.; MONGIOVI, M.; TEIXEIRA, L.; MASSONI, T. L.. Participação em banca de Felipe 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.

4.
COSTA, E.; GHEYI, R.; MASSONI, T. L.; GARCIA, A.; BRITO, P.. Participação em banca de Mario Lozano Lucas de Souza. Detecção Customizada de Bad Smells. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
MASSONI, T. L.; ANDRADE, R.; GIRARDI, R.; GORGONIO, K.. Participação em banca de Renata Mendonça Saraiva. Um Método para Medição de Software com Foco na Interpretação de Métricas. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
MASSONI, T. L.; MOURA, J. A. B.; LOPES, K.; VENANCIO, A.. Participação em banca de Cesar Rocha Vasconcelos. NoBi: Uma Interface Northbound para Desenvolvedores de Aplicações em Redes Definidas por Software. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
BORBA, P.; RIBEIRO, M.; TEIXEIRA, L.; MASSONI, T. L.. 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.

8.
MASSONI, T. L.; MACHADO, P.; ANDRADE, W.; ABRANTES, J.; MATTIELLO-FRANCISCO, M. F.; SIMAO, A.. Participação em banca de Alan Kelon Oliveira de Moraes. On the Influence of Test Adequacy Criteria on Test Suite Reduction for Model-based Testing of Real-time Systems. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
MASSONI, T. L.; MACIEL, P.; TAVARES, E.. Participação em banca de Renata Medeiros Carvalho. REFlex: an efficient graph-based rule engine to execute declarative business processes. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
MARTINS, A.; IYODA, J.; MASSONI, T. L.; ANDRADE, W.. Participação em banca de João Felipe Silva Ouriques. Estratégias para Priorização de Casos de Teste Gerados Através de Abordagens de Teste Baseados em Modelos. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

11.
Valente, M. T.; SEREY, D.; MASSONI, T. L.; SANTANNA, C.; BALBY, L.. Participação em banca de Katyusco de Farias Santos. Uso de Vocabulário de Código Fonte para Identificação de Especialistas. 2013. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

12.
GARCIA, A.; MASSONI, T. L.; BORBA, P.; MACHADO, P.; GHEYI, R.. Participação em banca de Gustavo Soares. Uma abordagem Automatizada para Testar Ferramentas de Refactoring. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

13.
MASSONI, T. L.; ASSIS, F.; GOMES, H.. Participação em banca de Elloá Guedes. Capacidade Quântica de Sigilo Erro-Zero e Informação Acessível de Fontes Quânticas Erro-Zero. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

14.
MASSONI, T. L.; SEREY, D.; SAUVE, J.; Valente, M. T.; SANTANNA, C.. Participação em banca de João Arthur Brunet. Erosão Arquitetural em Perspectiva: Detectando, Entendendo e Agindo.. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

15.
MASSONI, T. L.; COELHO, R.; MACHADO, P.. Participação em banca de Francisco Gomes de Oliveira Neto. Seleção Automática de Casos de Teste no Contexto de Teste de Regressão Baseado na Especificação do Software. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

16.
SPOHN, M. A.; MARIZ, R. M.; MOTTA, G. H.; GOMES, R. C. M.; MASSONI, T. L.. Participação em banca de Elmano Ramalho Cavalcanti. Aplicabilidade de Métricas de Mobilidade em Protocolos e Serviços para Redes Ad Hoc Móveis. 2011. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

17.
MASSONI, T. L.; GHEYI, R.; David Deharbe. Participação em banca de Wilkerson de Lucena Andrade. Symbolic testing of Real Time Systems. 2009. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

18.
GHEYI, R.; MASSONI, T. L.; ROBIN, J.. Participação em banca de Paulo Eduardo e Silva Barbosa. Uma Arquitetura MDA Estendida para Transformações Preservadoras de Semântica. 2009. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

Monografias de cursos de aperfeiçoamento/especialização
1.
MASSONI, T. L.; CORNÉLIO, M.; SOARES, S.. Participação em banca de Tereza Novais Silva. Testes de SW para Empresas que Terceirizam Desenvolvimento. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

2.
MASSONI, T. L.; CORNÉLIO, M.; SOARES, S.. Participação em banca de Vamberto Pereira Lemos Filho. Requisitos e Arquitetura para Ambiente de Construção Colaborativa de Software. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

3.
CORNÉLIO, M.; MASSONI, T. L.; CASTOR, F.. Participação em banca de Flávia Bacic Vilela. Proposta de Modelo de Referência para a Produção de Documentos de Requisitos de Qualidade. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

4.
CORNÉLIO, M.; MASSONI, T. L.; SOARES, S.. Participação em banca de Carlos Henrique Santos de Souza. Estudo Comparativo entre Modelos de Controle de Acesso. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

5.
MASSONI, T. L.; CORNÉLIO, M.; CASTOR, F.. Participação em banca de Reinaldo José Cosme da Silva. Simulação de uma Arquitetura para Replicação de Dados Geograficamente Distribuídos. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

6.
MASSONI, T. L.; CORNÉLIO, M.; SOARES, S.. Participação em banca de Pedro Henrique Amblard Wanderley. Testes no Desenvolvimento de Software. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

7.
MASSONI, T. L.; MASSA, R.; SOARES, S.. Participação em banca de Rafael Vanderlei de Souza. Levantamento de Frameworks AOP Utilizados com Java. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

8.
MASSONI, T. L.; GUSMAO, C.; CORNÉLIO, M.. Participação em banca de Jônatas Cavalcanti Pereira. Levantamento de Ambientes Digitais para Educação a Distância. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

9.
GUSMAO, C.; CORNÉLIO, M.; MASSONI, T. L.. Participação em banca de Daniela de Castro Pereira Alves. Obtendo Vantagem Competitiva nos Setores Públicos e Privados com a Utilização da Tecnologia E-procurement. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

10.
CASTOR, F.; MASSA, R.; MASSONI, T. L.. Participação em banca de Rafael Brito Di Bernardo. Uma Avaliação ao Impacto de Programação Orientada a Aspectos na Modulação de Tratamento de Exceções. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

11.
MASSONI, T. L.; MASSA, R.; CASTOR, F.. Participação em banca de Mariana Alves Rivas Cervino. Gestão de Tempo Produtivo Utilizando o Six Sigma. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

12.
CASTOR, F.; CORNÉLIO, M.; MASSONI, T. L.. Participação em banca de Esneilton Silva. Análise de uma Ferramenta de Revisão de Código Java. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

Trabalhos de conclusão de curso de graduação
1.
MASSONI, T. L.; CORNÉLIO, M.. Participação em banca de Pollyana Mendonça.Sistema Web para Gerenciamento do Processo de Estágio Supervisionado na POLI‐UPE. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

2.
MASSONI, T. L.; SOARES, S.. Participação em banca de Rogério Aguiar.Ferramentas para Linha de Produtos de Software. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

3.
MASSONI, T. L.; CASTOR, F.. Participação em banca de Rafael Silva.Uma Análise do Suporte a Tolerância a Falhas Provido por infraestruturas Comerciais de Middleware. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

4.
MASSONI, T. L.; BUARQUE, F.. Participação em banca de Flávio Rosendo da Silva Oliveira.Uma Abordagem para Suporte à Decisão utilizando Computação Inteligente Híbrida. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

5.
MASSONI, T. L.; PINHEIRO, W.. Participação em banca de Alexandre West.Scribo: um Ambiente para Construção de Cursos Utilizando os Principios da Educação Libertadora de Paulo Freire. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

6.
MASSONI, T. L.; LENCASTRE, M.; BUARQUE, F.. Participação em banca de Diogo Ferreira Pacheco.Suporte à Decisão em Sistemas Inteligentes de Colheitas Agrícolas. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

7.
MASSONI, T. L.; MASSA, R.; CORNÉLIO, M.. Participação em banca de Filipe da Silva Regueira.Padrões de Projetos no Desenvolvimento de Aplicações J2ME. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

8.
MASSONI, T. L.; CORNÉLIO, M.; LORENA, A.. Participação em banca de PAULO ANDRÉ FERREIRA.SISTEMA DE CONTROLE DE PROTOCOLOS INTERNOS DA ESCOLA POLITÉCNICA DE PERNAMBUCO. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

9.
MASSONI, T. L.; CORNÉLIO, M.; MASSA, R.. Participação em banca de Cleyton Mário de Oliveira Rodrigues.Mapeando estruturas LSC em Redes de Petri Coloridas. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

10.
MASSONI, T. L.; MASSA, R.; CORNÉLIO, M.. Participação em banca de Gabriel Ramos.Verificação de Condições de Leis de Programação em um Sistema de Reescrita. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

11.
MASSONI, T. L.; MASSA, R.. Participação em banca de André Câmara.Integração da Ferramenta TimeNER ao Ambiente EZPetri. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.



Participação em bancas de comissões julgadoras
Concurso público
1.
SANTANNA, C.; LOPES, R.; MASSONI, T. L.. Concurso para Professor Adjunto em Ciência da Computação. 2014. Universidade Federal de Campina Grande.

2.
MASSONI, T. L.; LARANJEIRA, L.; FREITAS, S.. Concurso para Professor Adjunto em Engenharia de Software. 2012. Universidade de Brasília.

3.
MASSONI, T. L.; SANTANNA, C.. Concurso para Professor Adjunto. 2010. Universidade Estadual de Feira de Santana.

4.
MASSONI, T. L.; GHEYI, R.; LEWITZKA, S.. Concurso para Professor Assistente. 2009. Universidade Federal da Paraíba.

5.
GHEYI, R.; MASSONI, T. L.; DIAS, L.. Concurso para Professor Assistente. 2009. Universidade Estadual da Paraíba.

6.
MASSONI, T. L.; SOARES, S.. Comissão julgadora de concurso para Professor Adjunto. 2008. Universidade de Pernambuco.

7.
MASSONI, T. L.; CORNÉLIO, M.; Santos, A.. Concurso para Professor Assistente. 2007. Universidade de Pernambuco.

Outras participações
1.
MASSONI, T. L.. Comitê de Programa SBES. 2017. Universidade Federal do Ceará.

2.
MASSONI, T. L.. Comitê de Programa SBMF. 2017. Universidade Federal de Pernambuco.

3.
MASSONI, T. L.. Comitê de Programa CBSoft tools. 2017. Universidade Federal do Ceará.

4.
MASSONI, T. L.. Comitê de Programa SBCARs. 2017. Universidade Federal do Ceará.

5.
MASSONI, T. L.. Comitê de Programa SBES. 2014. Universidade Federal de Alagoas.

6.
MASSONI, T. L.. Comitê de Programa SBMF. 2014. Universidade Federal de Alagoas.

7.
MASSONI, T. L.. CBSOFT Sessão de Ferramentas. 2014. Universidade Federal de Alagoas.

8.
MASSONI, T. L.. Comitê de Programa: SBES. 2013. Universidade Federal de Campina Grande.

9.
MASSONI, T. L.. Comitê de Programa: SBMF. 2013. Universidade Federal de Campina Grande.

10.
MASSONI, T. L.. Comitê de Programa: SBES. 2012. Universidade Federal do Rio Grande do Norte.

11.
MASSONI, T. L.. Comitê de Programa: SBMF. 2012. Universidade Federal do Rio Grande do Norte.

12.
MASSONI, T. L.. Membro do comitê de Programa do Simpósio Brasileiro de Engenharia de Software. 2011. Sociedade Brasileira de Computação - Porto Alegre.

13.
MASSONI, T. L.. Comitê de Programa: CBSOFT sessão de ferramentas. 2011. Sociedade Brasileira de Computação - Porto Alegre.

14.
Massoni, Tiago. Comitê de Programa: Miniplop. 2011. Sociedade Brasileira de Computação - Porto Alegre.

15.
MASSONI, T. L.. Membro do comitê de Programa do Simpósio Brasileiro de Engenharia de Software. 2010. Sociedade Brasileira de Computação - Porto Alegre.

16.
MASSONI, T. L.. Membro do Comitê de Programa Simpósio Brasileiro de Engenharia de Software. 2009. Universidade Federal do Ceará.

17.
MASSONI, T. L.. Comitê do Programa do SugarloafPlop. 2008. Universidade Estadual do Ceará.

18.
MASSONI, T. L.. Avaliador do Programa Institucional de Base de Iniciação Científica PIBIC/POLI. 2008. Universidade de Pernambuco.

19.
MASSONI, T. L.. Avaliador do Programa Institucional de Base de Iniciação Científica PIBIC/UPE/CNPQ. 2008. Universidade de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Brazilian Symposium on Formal Methods.A Complete Set of Object Modeling Laws for Alloy. 2009. (Simpósio).

2.
Brazilian Symposium on Programming Languages. 2009. (Simpósio).

3.
European Joint Conferences on Theory and Practice of Software (ETAPS). Formal Model-Driven Program Refactoring. 2008. (Congresso).

4.
6th Latin America Conference on Pattern Languages of Programming. 2007. (Congresso).

5.
Simpósio Brasileiro de Engenharia de Software. 2007. (Simpósio).

6.
Simpósio Brasileiro de Engenharia de Software.Refactoring UML Class Diagrams. 2005. (Simpósio).

7.
UML Conference. A UML Class Analyzer. 2004. (Congresso).

8.
International Winter School on Semantics and Applications. 2003. (Outra).

9.
IV Workshop de Métodos Formais. 2003. (Congresso).

10.
Third Latin American Conference on Pattern Languages of Programming. 2003. (Simpósio).

11.
International Resources Management Association International Conference. A RUP-based software process supporting progressive implementation. 2002. (Congresso).

12.
IV Simposio Brasileiro de Linguagens de Programacao. 2000. (Simpósio).

13.
Simposio Brasileiro de Engenharia de Software. 2000. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
MASSONI, T. L.. II Workshop de Teses e Dissertações do Congresso Brasileiro de Software. 2012. (Congresso).

2.
MASSONI, T. L.. Workshop de Teses e DIssertações da COPIN. 2009. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Bruno M. Sandres. Aspectos Humanos em Engenharia de Software. Início: 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).

2.
Isabelly Santos Cavalcante. Um Estudo de Caso de Priorização de Testes Durante Refactoring. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

3.
Marzina Vidal Negreiros Bezerra. Verificando Requisitos com DSLs e Alloy. Início: 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

Tese de doutorado
1.
Flávia Estélia Silva Coelho. Detecção de Refatoramentos para Revisão de Código. Início: 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

2.
Achiles Pedro da Cunha. Priorização de testes manuais. Início: 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

Iniciação científica
1.
José Manuel Ferreira. Experimentação com Geradores de Testes baseados em Contratos. Início: 2017. 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).

2.
Gabriela Motta Oliveira. A gamified m-training app for health professionals on protocols and participatory surveillance associated with Zika virus. Início: 2017. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. (Orientador).

3.
André Victor de Andrade Lopes. A gamified m-training app for health professionals on protocols and participatory surveillance associated with Zika virus. Início: 2017. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Walisson Fernando. How do Work Motivation Aspects Impact Software Developer Turnover? A Quantitative Study with Brazilian Developers. 2018. 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: Tiago Lima Massoni.

2.
Berg Élisson. Uma Técnica de Priorização de Casos de Teste para Múltiplas Mudanças Agregadas. 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: Tiago Lima Massoni.

3.
Filipe Neves Cavalcante. Transformação Automática de Clientes de Estruturas de Dados. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Coorientador: Tiago Lima Massoni.

4.
Gabriella Mayara. Um Estudo Qualitativo Sobre a Automatização de Testes de Sistema. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Coorientador: Tiago Lima Massoni.

5.
Ricardo Job. Uma abordagem para detecção de Padrões Emergentes. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Tiago Lima Massoni.

6.
Mikaela Maia. Uma Abordagem para Adaptação de Clientes do Java Collections Framework Baseada em Técnicas de Migração de APIs. 2014. 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: Tiago Lima Massoni.

7.
Alysson Filgueira Milanez. Refatoramento em Programas com Contratos. 2014. 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: Tiago Lima Massoni.

8.
Normando Carvalho. Uma Abordagem para Entendimento de Código com Contratos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Tiago Lima Massoni.

9.
Catuxe Varjão de Santana Oliveira. Conformance checking in contract-driven development. 2013. 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: Tiago Lima Massoni.

10.
Dimas Casimiro. 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, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Tiago Lima Massoni.

11.
Thiago Affonso de M. Novaes Viana. Uma Abordagem de Refatoração Dirigida por Contratos. 2008. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Tiago Lima Massoni.

Tese de doutorado
1.
Alysson Filgueira Milanez. Fostering Design By Contract by Exploiting the Relationship between Code Commentary and Contracts. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Tiago Lima Massoni.

2.
Éverton Gaudino. Priorização de casos de teste baseada em Análise Estática. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Tiago Lima Massoni.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Ivaldene Lima. UM ESTUDO DE CASO ENVOLVENDO IMPLANTAÇÃO DE GESTÃO ÁGIL DE PROJETOS DE DESENVOLVIMENTO DE SOFTWARE EM UMA EMPRESA PÚBLICA. 2009. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

2.
Hadautho Roberto Barros da Silva. UTILIZANDO O SCRUM NO GERENCIAMENTO DE OPERACÕES DE UMA ORGANIZAÇÃO. 2009. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

3.
Roberto Silva de Almeida. Processo para Implantação de Software de Suporte nas Organizações de TI Visando as Práticas do ITIL. 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

4.
Romeu de Andrade Guimarães. Um Avaliação de Falhas de Software em Empresas de Software de Recife-PE. 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

5.
Rafael Caneca Milet de Araújo. Uma Avaliação de Validação de Requisitos em Empresas de Software de Recife-PE. 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

Trabalho de conclusão de curso de graduação
1.
Marcos André Gusmão Torres. Um Sistema para Controle de Concursos para Docentes da Universidade de Pernambuco. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

2.
Ailton Francisco de Sousa Junior. Desenvolvimento e implantação de um sistema de banco de créditos e avaliação de desempenho de docentes. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

3.
Assis Clemente. Uma Ferramenta Web para Edição Colaborativa de Artigos Científicos. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

4.
Tássia Lima. Um Analisador de Diagramas de Classe UML. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

5.
Erik Mesel. Um Sistema de Informação para Avaliação de Professores e Banco de créditos. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

6.
Leopoldo Teixeira. Uma Linha de Produtos de Software para gestão de Instituições Religiosas. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

7.
Bruno Arôxa. Um Framework para Desenvolvimento de Sistemas de Detecção de Intrusão Multi-agentes. 2006. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

Iniciação científica
1.
Bianca Sá de Lima e Lima. ContractOK: Verificação de Conformidade de Contratos. 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: Tiago Lima Massoni.

2.
Denis Dantas. Extensão do JMLOK2: Classificação. 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: Tiago Lima Massoni.

3.
Denis Dantas. JMLOK: Ferramenta de Verificação de Não-conformidades. 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: Tiago Lima Massoni.

4.
Theócrito Moura. Investigação do Uso de Coleções Java. 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: Tiago Lima Massoni.

5.
Guthyerrz maciel. Análise da Utilização de Estruturas de Dados em Programas Java. 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: Tiago Lima Massoni.

6.
Kaio Oliveira. Análise da Utilização de Estruturas de Dados em Programas Java. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Tiago Lima Massoni.

7.
José Larte Xavier. Bad smells para JML. 2010. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande. Orientador: Tiago Lima Massoni.

8.
José Laerte Xavier. Definição de um padrão de separação de preocupações em Programas Anotados com Especificações. 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: Tiago Lima Massoni.

9.
Bruno Carlos Sales de Morais. Refatoração de Especificações JML. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Tiago Lima Massoni.

10.
Francisco Miranda Soares da Silva Neto. Infra-estrutura de refatorações JML. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

11.
Anderson Murilo Portela. Refatoração de Programas Baseada em Especificações JML. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tiago Lima Massoni.

12.
Marcelo Simões de Vasconcelos. Analisador e provas para diagramas de classe UML. 2005. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Tiago Lima Massoni.



Inovação



Programa de computador sem registro
1.
MILANEZ, A. ; VARJÃO, C. ; MASSONI, T. L. ; GHEYI, R. . JMLOK: Ferramenta de Verificação de Não-conformidades. 2013.

2.
MILANEZ, A. ; SOUSA, D. ; MASSONI, T. L. ; GHEYI, R. . Contract OK: verificação de programas C# com Code Contracts. 2015.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico



Página gerada pelo Sistema Currículo Lattes em 19/10/2018 às 11:30:22