CV Lattes
Universidade Federal de São Carlos (UFSCAR). Centro de Ciências Exatas e de Tecnologia (CCET) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Obteve seu Bacharelado em Matemática com Especialização em Informatica na Universidade do Estado do Rio de Janeiro (1989), concluiu o mestrado em Ciência da Computação na Universidade Federal de São Carlos, São Paulo (1995) e o doutorado em Computer Science na University of Twente, Holanda (2001). Atualmente é professor Associado da Universidade Federal de Juiz de Fora. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas Distribuídos, atuando principalmente nos seguintes temas: Implementação de Protocolos, Especificações Formais, Desenvolvimento baseado em modelos e E-ciência. (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) |
Os objetivos desse projeto são o estudo e a análise de ferramenta "Portable Estelle Translator-Distributed Implementation Generator (PET-DINGO)", a especificação formal de um sistema distribuído na Técnica de Descrição Formal (TDF) "Extended State Transition Language (Estelle) e a geração semi-automática de uma implementação, na linguagem orientada ao objeto C++, a partir dessa especifica…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |