|
|
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 : 127 | |
11. | | SANTOS, J. A. F. dos; CLEMENTE, R. A.; NASCIMENTO, A. F. do; FERREIRA, A. Mudanças nos teores de nitrato e amônio no solo causados pelo uso de inibidores de urease e nitrificação. In: ENCONTRO DE CIÊNCIA E TECNOLOGIAS AGROSSUSTENTÁVEIS, 4.; JORNADA CIENTÍFICA DA EMBRAPA AGROSSILVIPASTORIL, 9., 2020, Sinop. Resumos... Brasília, DF: Embrapa, 2020. p. 53.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
13. | | OKADA, A. S.; MARIANO, C. J. M.; NASCIMENTO, A. F. do; FERREIRA, A. Perfil metabólico microbiano em solos sob sistemas de produção integrados no estado de Mato Grosso. In: ENCONTRO DE CIÊNCIA E TECNOLOGIAS AGROSSUSTENTÁVEIS, 3.; JORNADA CIENTÍFICA DA EMBRAPA AGROSSILVIPASTORIL, 8., 2019, Sinop. Resumos... Brasília, DF: Embrapa, 2019. p. 26.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
14. | | NASCIMENTO, A. F. do; MENDONÇA, E. de S.; LEITE, L. F. C.; NEVES, J. C. L. Calibration of the Century, Apsim and Ndicea models of decomposition and N mineralization of plant residues in the humid tropics. Revista Brasileira de Ciência do Solo, Viçosa-MG, v. 35, n. 3, p. 917-928, maio/jun. 2011.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
Biblioteca(s): Embrapa Meio-Norte. |
| |
17. | | NASCIMENTO, A. F. do; DANIEL, V. de C.; SEGATTO, E. R.; RODRIGUES, R. de A. R. Emissão de gases de efeito estufa do solo de sistemas integrados de produção. In: FARIAS NETO, A. L. de; NASCIMENTO, A. F. do; ROSSONI, A. L.; MAGALHÃES, C. A. de S.; ITUASSU, D. R.; HOOGERHEIDE, E. S. S.; IKEDA, F. S.; FERNANDES JUNIOR, F.; FARIA, G. R.; ISERNHAGEN, I.; VENDRUSCULO, L. G.; MORALES, M. M.; CARNEVALLI, R. A. (Ed.). Embrapa Agrossilvipastoril: primeiras contribuições para o desenvolvimento de uma agropecuária sustentável. Brasília, DF: Embrapa, 2019. pt. 4, cap. 15, p. 260-263.Tipo: Capítulo em Livro Técnico-Científico |
Biblioteca(s): Embrapa Agrossilvipastoril; Embrapa Solos. |
| |
18. | | SEGATTO, E. R.; LARA, R. M. de; BONGIOVANI, M. C.; ISERNHAGEN, I.; NASCIMENTO, A. F. do. Emissão de óxido nitroso (N2O) do solo na estação seca em sistemas de recomposição de reservas legais da Amazônia Mato-Grossense. In: ENCONTRO DE CIÊNCIA E TECNOLOGIAS AGROSSUSTENTÁVEIS, 2.; JORNADA CIENTÍFICA DA EMBRAPA AGROSSILVIPASTORIL, 7., 2018. Sinop, MT. Resumos... Sinop, MT: Embrapa Agrossilpastoril, 2018. p. 175-178.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
19. | | CRUZ, G. M.; SILVA, A. G. da; LUZ, G. M.; NASCIMENTO, A. F. do. Emissão de óxido nitroso do solo cultivado com a soja (Glycine max) em monocultivo em sistemas integrados de produção. In: ENCONTRO DE CIÊNCIA E TECNOLOGIAS AGROSSUSTENTÁVEIS, 3.; JORNADA CIENTÍFICA DA EMBRAPA AGROSSILVIPASTORIL, 8., 2019, Sinop. Resumos... Brasília, DF: Embrapa, 2019. p. 61.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
Registros recuperados : 127 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|