Professor Doutor da Universidade Estadual de Campinas (Unicamp). É Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO). Bacharel em Ciências de Computação e Mestre em Ciências de Computação e Matemática Computacional pelo Instituto de Ciências Matemáticas e de Computação (ICMC) da Universidade de São Paulo (USP), campus de São Carlos. Especialista em Educação Inclusiva com Ênfase em Libras pela Universidade Federal de Mato Grosso do Sul (UFMS). É também Técnico em Informática pelo Colégio Técnico Industrial (CTI) "Prof. Isaac Portal Róldan" da Universidade Estadual Paulista (UNESP), campus de Bauru. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O objetivo deste plano de trabalho é concluir uma parte signficativa de um projeto de pesquisa que visa a apoiar o teste estrutural de unidade e de integração de programas orientados a aspectos (AspectJ). Neste projeto de mestrado será definido um grafo integrado contextual (ou de nível N) e critérios de teste de integração para o código integrado contextualmente (ou inlined) em qualquer …
A pesquisa a ser realizada tem o objetivo de estender dois trabalhos de mestrados, um concluído e outro em andamento, no sentido de apoiar o teste estrutural de integrado de um método ou adendo, chamado de intermódulo (intermétodo e interadendo). Para isso se deve criar um grafo integrado de todos os métodos chamados direta e indiretamente por um método inicial e de todos os adendos que i…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID