| |
|
|
|
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
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Meio Ambiente. |
|
Data corrente: |
25/10/2017 |
|
Data da última atualização: |
08/02/2018 |
|
Tipo da produção científica: |
Resumo em Anais de Congresso |
|
Autoria: |
COSTA, C. F. G.; FIGUEIREDO, R. de O.; CAMARGO, P. B. de; PICCOLO, M. C.; REIS, L. C.; MAZZI, E. A.; ZUCCARI, M. L. |
|
Afiliação: |
C. F. G. COSTA, CENA/USP; RICARDO DE OLIVEIRA FIGUEIREDO, CNPMA; P. B. de CAMARGO, CENA/USP; M. C. PICCOLO, CENA/USP; L. C. REIS, CENA/USP; E. A. MAZZI, CENA/USP; MARIA LUCIA ZUCCARI, CNPMA. |
|
Título: |
Nitrogen dynamics in the watershed of the Camanducaia and Jaguari rivers, SP and MG states, Brazil. |
|
Ano de publicação: |
2017 |
|
Fonte/Imprenta: |
In: CONGRESSO BRASILEIRO DE LIMNOLOGIA, 16., 2017, Rio de Janeiro. Recursos hídricos em crise: sustentabilidade, biodiversidade e integração de conhecimentos face a mudanças globais: resumos... Rio de Janeiro: Sociedade Brasileira de Limnologia, 2017. Ref. SE11. p. 139. |
|
Idioma: |
Português |
|
Thesaurus NAL: |
aquatic ecosystems; hydrogeochemistry; Land use. |
|
Categoria do assunto: |
P Recursos Naturais, Ciências Ambientais e da Terra |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/165512/1/RA-FigueiredoRO-et-al-XVICongBrasLimnologia-2017-p139.pdf
|
|
Marc: |
LEADER 00874nam a2200205 a 4500
001 2078105
005 2018-02-08
008 2017 bl uuuu u00u1 u #d
100 1 $aCOSTA, C. F. G.
245 $aNitrogen dynamics in the watershed of the Camanducaia and Jaguari rivers, SP and MG states, Brazil.$h[electronic resource]
260 $aIn: CONGRESSO BRASILEIRO DE LIMNOLOGIA, 16., 2017, Rio de Janeiro. Recursos hídricos em crise: sustentabilidade, biodiversidade e integração de conhecimentos face a mudanças globais: resumos... Rio de Janeiro: Sociedade Brasileira de Limnologia, 2017. Ref. SE11. p. 139.$c2017
650 $aaquatic ecosystems
650 $ahydrogeochemistry
650 $aLand use
700 1 $aFIGUEIREDO, R. de O.
700 1 $aCAMARGO, P. B. de
700 1 $aPICCOLO, M. C.
700 1 $aREIS, L. C.
700 1 $aMAZZI, E. A.
700 1 $aZUCCARI, M. L.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Meio Ambiente (CNPMA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
