CV Lattes
Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Ciência da Computação pela Universidade Estadual de Maringá (1996), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (1999) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2004). (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) |
Este plano de trabalho esta inserido no contexto das atividades do projeto "métodos e ferramentas para apoio ao desenvolvimento de software", processo n 95/07555-8, aprovado pela FAPESP. Neste contexto, este projeto dará continuidade à atividade de desenvolvimento de ferramentas de teste e validação para sistemas reativos, com ênfase no critério análise de mutantes, implementando a ferram…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |