2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
Projetos
2025Em progresso
Detecção Automática de Conflitos de Integração de Código
Apoio - CNPQ e Outros financiadores
2019Concluído
Prevenção, detecção, e resolução de con#64258;itos de integração de código (Universal CNPq)
Apoio - CNPQ e Outros financiadores
2016Concluído
INES - Instituto Nacional de Ciência e Tecnologia para Engenharia de Software (INCT CNPq e FACEPE)
2014Concluído
Engenharia de Software para Cidades Inteligentes (PRONEX FACEPE/CNPq)
Apoio - CAPES e Outros financiadores
2011Concluído
Compliance Workbench
2011Concluído
Evolução Fidedigna de Linhas de Produtos de Software (Grandes Desafios CNPq)
Apoio - CNPQ e Outros financiadores
2010Concluído
Suporte Linguístico para o Desenvolvimento de Linhas de Produtos de Software (PROBRAL CAPES)
Apoio - FACEPE e Outros financiadores
2008Concluído
Desenvolvimento de Linhas de Produtos de Software usando Técnicas Orientadas a Aspectos (PROCAD CAPES)
Apoio - FACEPE e Outros financiadores
2008Concluído
Ferramentas para Desenvolvimento e Evolução de Linhas de Produto de Software (subprojeto do INES)
Apoio - CNPQ, CAPES e Outros financiadores
2007Concluído
Refatoração de Programas Baseada em Especificações
Apoio - CNPQ e Outros financiadores
2006Em progresso
Rede Latino-Americana para Desenvolvimento de Software Orientado a Aspectos, Programa Sul-Americano de Apoio à Cooperação em Ciência e Tecnologia (PROSUL)
Apoio - CNPQ e Outros financiadores
2006Em progresso
Investigando o Desenvolvimento de Aplicações Móveis em Linhas de Produto
Apoio - CNPQ e Outros financiadores
2006Em progresso
Ferramentas para Linhas de Produtos de Jogos Móveis
2005Em progresso
Testes de Aplicações para Disseminação, Capacitação e Manutenção de Dispositivios Celulares
Apoio - CNPQ e Outros financiadores
2005Em progresso
Leis e Verificação para Modelos de Projeto
2005Em progresso
Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste (Projeto de Pesquisa CIn-Motorola)
2003Concluído
Variações em Linhas de Produtos de Software Usando Programação Orientada a Aspectos
2003Concluído
Desenvolvimento da Ferramenta de Manipulação Automática de Código Coder
Apoio - CNPQ e Outros financiadores
2002Concluído
Implementação Progressiva de Aplicações Ubíquas Adaptáveis
2001Concluído
Development and Application of Refinement Calculus for Object-oriented Programming
Apoio - CNPQ e Outros financiadores
2000Concluído
Implementação Progressiva de Aplicações Orientadas a Objetos Complexas
1999Concluído
Calculus of Object-Oriented Programming
Apoio - CNPQ e Outros financiadores
1998Concluído
Desenvolvimento Sistemático de Programas Concorrentes Orientados a Objetos
1997Concluído
Desenvolvimento Formal de Componentes de Software Reutilizáveis
Projetos
2025Em progresso
Detecção Automática de Conflitos de Integração de Código
Apoio - CNPQ e Outros financiadores
2019Concluído
Prevenção, detecção, e resolução de con#64258;itos de integração de código (Universal CNPq)
Apoio - CNPQ e Outros financiadores
2016Concluído
INES - Instituto Nacional de Ciência e Tecnologia para Engenharia de Software (INCT CNPq e FACEPE)
2014Concluído
Engenharia de Software para Cidades Inteligentes (PRONEX FACEPE/CNPq)
Apoio - CAPES e Outros financiadores
2011Concluído
Compliance Workbench
2011Concluído
Evolução Fidedigna de Linhas de Produtos de Software (Grandes Desafios CNPq)
Apoio - CNPQ e Outros financiadores
2010Concluído
Suporte Linguístico para o Desenvolvimento de Linhas de Produtos de Software (PROBRAL CAPES)
Apoio - FACEPE e Outros financiadores
2008Concluído
Desenvolvimento de Linhas de Produtos de Software usando Técnicas Orientadas a Aspectos (PROCAD CAPES)
Apoio - FACEPE e Outros financiadores
2008Concluído
Ferramentas para Desenvolvimento e Evolução de Linhas de Produto de Software (subprojeto do INES)
Apoio - CNPQ, CAPES e Outros financiadores
2007Concluído
Refatoração de Programas Baseada em Especificações
Apoio - CNPQ e Outros financiadores
2006Em progresso
Rede Latino-Americana para Desenvolvimento de Software Orientado a Aspectos, Programa Sul-Americano de Apoio à Cooperação em Ciência e Tecnologia (PROSUL)
Apoio - CNPQ e Outros financiadores
2006Em progresso
Investigando o Desenvolvimento de Aplicações Móveis em Linhas de Produto
Apoio - CNPQ e Outros financiadores
2006Em progresso
Ferramentas para Linhas de Produtos de Jogos Móveis
2005Em progresso
Testes de Aplicações para Disseminação, Capacitação e Manutenção de Dispositivios Celulares
Apoio - CNPQ e Outros financiadores
2005Em progresso
Leis e Verificação para Modelos de Projeto
2005Em progresso
Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste (Projeto de Pesquisa CIn-Motorola)
2003Concluído
Variações em Linhas de Produtos de Software Usando Programação Orientada a Aspectos
2003Concluído
Desenvolvimento da Ferramenta de Manipulação Automática de Código Coder
Apoio - CNPQ e Outros financiadores
2002Concluído
Implementação Progressiva de Aplicações Ubíquas Adaptáveis
2001Concluído
Development and Application of Refinement Calculus for Object-oriented Programming
Apoio - CNPQ e Outros financiadores
2000Concluído
Implementação Progressiva de Aplicações Orientadas a Objetos Complexas
1999Concluído
Calculus of Object-Oriented Programming
Apoio - CNPQ e Outros financiadores
1998Concluído
Desenvolvimento Sistemático de Programas Concorrentes Orientados a Objetos
1997Concluído
Desenvolvimento Formal de Componentes de Software Reutilizáveis
