|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
18/02/1998 |
Data da última atualização: |
20/09/2007 |
Autoria: |
MARTINS, J.; VAZLAWICK, R. S.; NUNES, D. J. |
Título: |
Adaptando a semantica denotacional para o desenvolvimento de aplicações. |
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.195-208 |
Idioma: |
Português |
Conteúdo: |
Técnicas para especificação e desenvolvimento de software devem permitir uma descrição precisa de aplicações. A semantica denotacional e um metodo formal que possui fundamentação matemática. No entanto, a semantica denotacional nao possui mecanismos que permitam a modularização e reusabilidade de especificações, indispensáveis ao processo de desenvolvimento de aplicações. Por outro lado, o paradigma de orientação a objetos pode prover a semantica denotacional com mecanismos para a especificação de aplicações modulares e reusáveis. Nesse artigo e apresentada uma proposta que incorpora orientação a objetos a semantica denotacional. A teoria de domínios, base formal da semantica denotacional, e estendida englobando os conceitos de classe e herança. O resultado e a especificação legível e executável de aplicacções. |
Palavras-Chave: |
Linguagens de programação; Programming languages. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01447naa a2200181 a 4500 001 1005988 005 2007-09-20 008 1996 bl uuuu u00u1 u #d 100 1 $aMARTINS, J. 245 $aAdaptando a semantica denotacional para o desenvolvimento de aplicações. 260 $c1996 300 $ap.195-208 520 $aTécnicas para especificação e desenvolvimento de software devem permitir uma descrição precisa de aplicações. A semantica denotacional e um metodo formal que possui fundamentação matemática. No entanto, a semantica denotacional nao possui mecanismos que permitam a modularização e reusabilidade de especificações, indispensáveis ao processo de desenvolvimento de aplicações. Por outro lado, o paradigma de orientação a objetos pode prover a semantica denotacional com mecanismos para a especificação de aplicações modulares e reusáveis. Nesse artigo e apresentada uma proposta que incorpora orientação a objetos a semantica denotacional. A teoria de domínios, base formal da semantica denotacional, e estendida englobando os conceitos de classe e herança. O resultado e a especificação legível e executável de aplicacções. 653 $aLinguagens de programação 653 $aProgramming languages 700 1 $aVAZLAWICK, R. S. 700 1 $aNUNES, D. J. 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 : 62 | |
2. | | NUNES, D.; BROWN, G.; PASINI, A. Earthworms' biodiversity in agricultural systems of Jaguapitã, Paraná state, Brazil. In: ENCUENTRO LATINO-AMERICANO DE ECOLOGIA Y TAXONOMIA DE OLIGOQUETOS, 2., 2005, San Juan, Puerto Rico. [Resumenes]. San Juan, Puerto Rico: International Institute of Tropical Forestry: Fundación Puertorriqueña de Conservación, 2005. p. 25. Nome correto do segundo autor: BROWN, G.G.Biblioteca(s): Embrapa Soja. |
| |
3. | | CECCON, G.; DECIAN, M.; NUNES, D. N. Avaliação de variedades e híbridos de milho (Zea mays L.), em Douradosm MS na safra 2006/2007. In: CONGRESSO NACIONAL DE MILHO E SORGO, 27.; SIMPÓSIO BRASILEIRO SOBRE A LAGARTA-DO-CARTUCHO, SPODOPTERA FRUGIPERDA, 2.; WORKSHOP SOBRE MANEJO E ETIOLOGIA DA MANCHA BRANCA DO MILHO, 2008, Londrina. Agroenergia, produção de alimentos e mudanças climáticas: desafios para milho e sorgo: resumos. Londrina: Associação Brasileira de Milho e Sorgo, 2008. Organizado por Alberto Sérgio do Rego Barros. 1 CD-ROM.Tipo: Artigo em Anais de Congresso / Nota Técnica |
Biblioteca(s): Embrapa Agropecuária Oeste. |
| |
4. | | MARTINS, P. T.; BROWN, G; PASINI, A.; NUNES, D. Comparação de três métodos de coleta de minhocas em ecossistema agrícola e natural próximo a Londrina, Brasil. In: MOSTRA ACADÊMICA DE TRABALHOS EM AGRONOMIA, 9., 2005; JORNADA DE ATUALIZAÇÃO EM CIÊNCIAS AGRÁRIAS, 1.; MOSTRA ACADÊMICA DE TRABALHOS EM AGRONOMIA, 8., 2004, Londrina. [Resumos expandidos...]. Londrina: UEL, 2005. p. 130-131. 1 CD-ROM. Seção: Preservação Dos Recursos Naturais da IX MATA. Nome correto do terceiro autor: BROWN, G. G.Biblioteca(s): Embrapa Soja. |
| |
6. | | MARTINS, P. T.; NUNES, D.; PASINI, A.; BROWN, G. Comparison of three different sampling methods for earthworms in agricultural and natural ecosystems near Londrina, Brazil. In: ENCUENTRO LATINO-AMERICANO DE ECOLOGIA Y TAXONOMIA DE OLIGOQUETOS, 2., 2005, San Juan, Puerto Rico. [Resumenes]. San Juan, Puerto Rico: International Institute of Tropical Forestry: Fundación Puertorriqueña de Conservación, 2005. p. 37.Biblioteca(s): Embrapa Soja. |
| |
7. | | CECCON, G.; STAUT, L. A.; DECIAN, M.; NUNES, D. P. Efeito do consórcio milho safrinha com braquiárias no rendimento de palha e grãos da sucessão soja-milho safrinha, em plantio direto, em MS. In: CONGRESSO BRASILEIRO DE CIÊNCIA DO SOLO, 31., 2007, Gramado. Conquistas e desafios da ciência do solo brasileira. Gramado: SBCS: UFRGS Solos, 2007. 1 CD-ROM.Tipo: Artigo em Anais de Congresso / Nota Técnica | Circulação/Nível: -- - -- |
Biblioteca(s): Embrapa Agropecuária Oeste. |
| |
9. | | CECCON, G.; MATOSO, A. O.; NUNES, D. P. Germinação de Brachiaria ruziziensis em consórcio com milho em função da profundidade de semeadura e tipos de sementes In: CONGRESSO NACIONAL DE MILHO E SORGO, 27.; SIMPÓSIO BRASILEIRO SOBRE A LAGARTA-DO-CARTUCHO, SPODOPTERA FRUGIPERDA, 2.; WORKSHOP SOBRE MANEJO E ETIOLOGIA DA MANCHA BRANCA DO MILHO, 2008, Londrina. Agroenergia, produção de alimentos e mudanças climáticas: desafios para milho e sorgo: resumos. Londrina: Associação Brasileira de Milho e Sorgo, 2008. Organizado por Alberto Sérgio do Rego Barros. 1 CD-ROM.Tipo: Artigo em Anais de Congresso / Nota Técnica |
Biblioteca(s): Embrapa Agropecuária Oeste. |
| |
11. | | CECCON, G.; CARNIEL, L. N. X.; DECIAN, M.; NUNES, D. P.; RAMOS, R. E. Avaliação de cultivares de aveia branca, em Mato Grosso do Sul, 2006. In: REUNIÃO DA COMISSÃO BRASILEIRA DE PESQUISA DE AVEIA, 27., 2007, Passo Fundo. Resultados experimentais. Passo Fundo: Universidade de Passo Fundo, 2007. p. 337-340. Organizado por Elmar Luiz Floss.Tipo: Artigo em Anais de Congresso / Nota Técnica | Circulação/Nível: -- - -- |
Biblioteca(s): Embrapa Agropecuária Oeste. |
| |
12. | | NUNES, D. H.; PASINI, A.; BENITO, N. P.; BROWN, G. G. Diversidade de minhocas em sistemas agrícolas na região de Jaguapitã, PR. In: CONGRESSO BRASILEIRO DE ZOOLOGIA, 26., 2006, Londrina. Resumos... Londrina, SBZ, 2006. 1 CD-ROM. Resumo n. 1400_2486. pdf. Área Resumos: Annelida.Biblioteca(s): Embrapa Soja. |
| |
13. | | CECCON, G.; NUNES, D. P.; RAMOS, R. E.; MARIANI, J. A.; COLMAN, O. P. Crescimento e produtividade de milho safrinha, em dois espaçamentos entre linhas, em Dourados, MS, em 2006 e 2007. In: SEMINÁRIO NACIONAL MILHO SAFRINHA, 9., 2007, Dourados. Milho safrinha: rumo a estabilidade: anais. Dourados: Embrapa Agropecuária Oeste, 2007. p. 338-344. (Embrapa Agropecuária Oeste. Documentos, 89). Organizado por Gessi Ceccon e Luiz Alberto Staut.Tipo: Artigo em Anais de Congresso / Nota Técnica | Circulação/Nível: -- - -- |
Biblioteca(s): Embrapa Agropecuária Oeste. |
| |
15. | | NUNES, D. H.; PASINI, A.; BENITO, N. P.; BROWN, G. G. Earthworm diversity in four land use systems in the region of Jaguapitã, Paraná State, Brazil. Caribbean Journal of Science, v. 42, n. 3, p. 331-338, 2006.Tipo: Artigo em Periódico Indexado | Circulação/Nível: Internacional - B |
Biblioteca(s): Embrapa Florestas. |
| |
16. | | NUNES, D. H.; PASINI, A.; BENITO, N. P.; BROWN, G. G. Earthworm diversity in four land use systems in the region of Jaguapitã, Paraná State, Brazil. Caribbean Journal of Science, v.42, n. 3, p. 331-338, 2006Biblioteca(s): Embrapa Soja. |
| |
17. | | CECCON, G.; RICHETTI, A.; SAGRILO, E.; DECIAN, M.; NUNES, D. P.; COLMAN, O. P. Avaliação técnica e econômica da produção de grãos em cultivo consorciado na agricultura familiar. In: CONGRESSO BRASILEIRO DE SISTEMAS DE PRODUÇÃO, 7., 2007, Fortaleza. Agricultura familiar, políticas públicas e inclusão social: anais. Fortaleza: Embrapa Agroindústria Tropical, 2007. Organizado por Helenira Ellery Marinho Vasconcelos, Vitor Hugo de Oliveira, Andréia Hansen Oster. 1 CD-ROM.Tipo: Artigo em Anais de Congresso / Nota Técnica | Circulação/Nível: -- - -- |
Biblioteca(s): Embrapa Agropecuária Oeste. |
| |
19. | | NUNES, D. H.; PASINI, A.; BENITO, N. P.; KORASAKI, V.; MATSUMURA, C. Y.; BROWN, G. G. Espécies de minhocas em agroecossistemas de jaguapitã - PR. In: MOSTRA ACADÊMICA DE TRABALHOS EM AGRONOMIA, 9., 2005; JORNADA DE ATUALIZAÇÃO EM CIÊNCIAS AGRÁRIAS, 1.; MOSTRA ACADÊMICA DE TRABALHOS EM AGRONOMIA, 8., 2004, Londrina. [Resumos expandidos...]. Londrina: UEL, 2005. p. 34-36. 1 CD-ROM. Seção: Fitossanidade da VIII MATA.Biblioteca(s): Embrapa Soja. |
| |
Registros recuperados : 62 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|