|
|
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 | |
22. | | 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. |
| |
24. | | 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. |
| |
27. | | SILVA, M. S. L. da; NASCIMENTO, A. F. do; SILVEIRA, H. L. F. da. Spatial variability of soil attributes in a cultivated area of underground dam in the State of the Paraíba, Brazil. In: WORLD CONGRESS OF SOIL SCIENCE, 21., 2018, Rio de Janeiro. Soil science: beyond food and fuel: proceedings... Viçosa, MG: SBCS, 2019. v. 2, p. 267. WCSS 2018.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Solos. |
| |
30. | | DIAS. J. P.; ALMEIDA, R.; OLIVEIRA, M. D. de; NASCIMENTO, A. F. do; LIMA, H. C. de; CORREIA, J. R. Avaliação situacional x habilitação sanitária: condições de funcionamento de empreendimentos de agricultores familiares produtores de goma e farinha de mandioca na comunidade de Monte Alegre, no semiárido do Norte de Minas Gerais. In: ENCONTRO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA CERRADOS, 2014, Planaltina, DF. Jovens talentos 2014: resumos. Planaltina, DF: Embrapa Cerrados, 2014. p. 68. (Embrapa Cerrados. Documentos, 322).Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Cerrados. |
| |
32. | | SOARES, S. S.; NASCIMENTO, A. F. do; ROGERIO, C. E.; VIEIRA, N. L. de A.; MARQUES, R.; BERGAMO, S. C. Análise e melhoria do processo de eventos da Embrapa Florestas. In: EVENTO DE INICIATIVAS E MELHORIAS DAS ATIVIDADES DE APOIO TÉCNICO ADMINISTRATIVO DA EMBRAPA FLORESTAS, 7., 2016, Colombo. Anais... Colombo: Embrapa Florestas, 2016. p. 25 (Embrapa Florestas. Documentos, 293). Resumo.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Florestas. |
| |
33. | | NASCIMENTO, A. F. do; MENDONÇA, E. de S.; LEITE, L. F. C.; SCHOLBERG, J.; NEVES, J. C. L. Calibration and validation of models for short-term decomposition and N mineralization. Scientia Agricola, Piracicaba, v. 69, n. 6, p. 393-401, Nov./Dec. 2012.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
Biblioteca(s): Embrapa Solos. |
| |
34. | | NASCIMENTO, A. F. do; MENDONÇA, E. de S.; LEITE, L. F. C.; SCHOLBERG, J.; NEVES, J. C. L. Calibration and validation of models for short-term decomposition and N mineralization of plant residues in the tropics. Scientia Agricola, Piracicaba, v. 69, n. 6, p. 393-401, nov./dec. 2012.Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
Biblioteca(s): Embrapa Meio-Norte. |
| |
35. | | COSTA, I. R. S.; IANELLA, P.; CORTÊS, A. F. do N.; CAJUEIRO, E. V. de M.; LOPES, F. R. F. Documentação e informatização de recursos genéticos. In: PAIVA, S. R.; ALBUQUERQUE, M. do S. M.; SALOMAO, A. N.; JOSE, S. C. B. R.; MOREIRA, J. R. de A. (Ed.). Recursos genéticos: o produtor pergunta, a Embrapa responde. Brasília, DF: Embrapa Recursos Genéticos e Biotecnologia, 2019. p. 131-140Tipo: Capítulo em Livro Técnico-Científico |
Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
36. | | CARDOSO, M.; MISSIATTO, J. V. F.; MOHR, D. M.; BARROS JÚNIOR, J. H.; NASCIMENTO, A. F. do. Disponibilidade de amônio no solo de sistema solteiro e integrado na estação seca e chuvosa. In: ENCONTRO DE CIÊNCIA E TECNOLOGIAS AGROSSUSTENTÁVEIS, 5.; JORNADA CIENTÍFICA DA EMBRAPA AGROSSILVIPASTORIL, 10., 2021. Sinop. Resumos... Brasília, DF: Embrapa, 2021. p. 21.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
37. | | CARDOSO, M.; MISSIATTO, J. V. F.; MOHR, D. M.; BARROS JUNIOR, J. H.; FERREIRA, A.; NASCIMENTO, A. F. do. Disponibilidade de nitrogênio do solo com Urochloa brizantha cv. Marandu solteira E em diferentes sistemas integrados. In: ENCONTRO DE CIÊNCIA E TECNOLOGIAS AGROSSUSTENTÁVEIS, 5.; JORNADA CIENTÍFICA DA EMBRAPA AGROSSILVIPASTORIL, 10., 2021. Sinop. Resumos... Brasília, DF: Embrapa, 2021. p. 20.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
38. | | OLIVEIRA, C. M.; NASCIMENTO, A. F. do; HYDALGO, R. I.; MOMBACH, M.; RODRIGUES, R. de A. R. Emissão de gases de efeito estufa do solo de monocultivos e da integração lavoura-pecuária-floresta na amazônia mato-grossense. In: JORNADA CIENTÍFICA DA EMBRAPA AGROSSILVIPASTORIL, 5., 2016, Sinop. Anais. Sinop, MT: Embrapa, 2017. p. 110-113.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
39. | | NASCIMENTO, A. F. do; LARA, R. M. de; SEGATTO, E. R.; DANIEL, V. de C.; BONGIOVANI, M.; ISERNHAGEN, I. Emissão de gases do efeito estufa do solo em sistemas de recomposição de Reserva Legal na transição Cerrado/Amazônia mato-grossense. 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. 7, cap. 7, p. 547-550.Tipo: Capítulo em Livro Técnico-Científico |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
40. | | CRUZ, G. M.; SILVA, A. G. da; LUZ, G. M.; DALABARBA, G. V.; NASCIMENTO, A. F. do. Emissão de óxido nitroso do solo sob eucalipto em monocultivo e em consórcio dentro de sistemas integrados. 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. 62.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
Registros recuperados : 127 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|