| Processo: | 94/04143-8 |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |
| Data de Início da vigência: | 01 de março de 1995 |
| Data de Término da vigência: | 31 de julho de 1995 |
| Área de conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação |
| Pesquisador responsável: | Wanderley Lopes de Souza |
| Beneficiário: | Ciro de Barros Barbosa |
| Instituição Sede: | Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil |
| Assunto(s): | Sistemas distribuídos Teleinformática |
| Palavra(s)-Chave do Pesquisador: | Especificacao Formal | Estelle | Implementacao Automatica | Sistemas Distribuidos | Teleinformatica | Validacao |
Resumo 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ção. (AU) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |