| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
17/02/1998 |
|
Data da última atualização: |
20/09/2007 |
|
Autoria: |
SOUZA, W. L. de; PRADO, A. F. do; SANTANA, A. C. L. de. |
|
Título: |
Implementação automática, orientada a objetos, de especificações estelle na linguagem C++. |
|
Ano de publicação: |
1996 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996. |
|
Páginas: |
p.31-44 |
|
Idioma: |
Português |
|
Conteúdo: |
Extended State Transition Language (ESTELLE) e uma Técnica de Descrição Formal (TDF), padronizada pela International Organization for Standardization (ISO), que foi desenvolvida para a especificação formal de sistemas distribuidos e protocólos de comunicação. Uma implementação de um sistema pode ser obtida automaticamente, a partir de sua especificação ESTELLE, com o auxilio de ferramentas apropriadas. O objetivo principal deste artigo e o de mostrar como implementações de sistemas orientados a objetos, na linguagem C++, podem ser geradas a partir de suas especificacoes ESTELLE, utilizando o ambiente de transformação de software draco. |
|
Palavras-Chave: |
Linguagens de programação; Programming languages. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01278naa a2200181 a 4500
001 1005984
005 2007-09-20
008 1996 bl uuuu u00u1 u #d
100 1 $aSOUZA, W. L. de
245 $aImplementação automática, orientada a objetos, de especificações estelle na linguagem C++.
260 $c1996
300 $ap.31-44
520 $aExtended State Transition Language (ESTELLE) e uma Técnica de Descrição Formal (TDF), padronizada pela International Organization for Standardization (ISO), que foi desenvolvida para a especificação formal de sistemas distribuidos e protocólos de comunicação. Uma implementação de um sistema pode ser obtida automaticamente, a partir de sua especificação ESTELLE, com o auxilio de ferramentas apropriadas. O objetivo principal deste artigo e o de mostrar como implementações de sistemas orientados a objetos, na linguagem C++, podem ser geradas a partir de suas especificacoes ESTELLE, utilizando o ambiente de transformação de software draco.
653 $aLinguagens de programação
653 $aProgramming languages
700 1 $aPRADO, A. F. do
700 1 $aSANTANA, A. C. L. de
773 $tIn: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 2 | |
| 2. |  | TENENTE, R. C. V.; FONSECA, M. B.; SOUSA VILARDI, A. I. M.; SILVA, S. O.; SILVA NETO, S. P. da; SILVA, E. G.; CARRIJO, O. A.; ARAYA, M. Reaction of different banana (Musa spp.) cultivars to Meloidogyne incognita races 1 and 4. Nematologia brasileira, v. 32, n. 4, p. 285-293, 2008| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 3 |
| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
|   |
| Registros recuperados : 2 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
