| |
|
|
|
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
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Gado de Leite. |
|
Data corrente: |
02/03/2009 |
|
Data da última atualização: |
17/06/2024 |
|
Tipo da produção científica: |
Artigo em Anais de Congresso / Nota Técnica |
|
Autoria: |
SOUZA SOBRINHO, F. de; SOUZA, F. F.; SANTOS, P.; , A.; AUAD, A. M.; PEREIRA, A. V.; LEDO, F. J. da S. |
|
Afiliação: |
FAUSTO DE SOUZA SOBRINHO, CNPGL; FLÁVIO FARIA DE SOUZA, UFLA; POLIANA SANTOS, EMBRAPA GADO DE LEITE; ANELISE, EMBRAPA GADO DE LEITE; ALEXANDER MACHADO AUAD, CNPGL; ANTONIO VANDER PEREIRA, CNPGL; FRANCISCO JOSE DA SILVA LEDO, CNPGL. |
|
Título: |
Produção de forragem de progênies de B.reziziensis nas épocas da seca e das águas. |
|
Ano de publicação: |
2008 |
|
Fonte/Imprenta: |
In: REUNIÃO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA. 45., 2008, Lavras, MG. Anais... Lavras: SBZ / UFLA, 2008. |
|
Idioma: |
Português |
|
Notas: |
1 CD. |
|
Palavras-Chave: |
Alimentação animal; Melhoramento de forrageiras. |
|
Thesagro: |
Forragem. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/doc/596769/1/Producao-de-forragem-de-progenies-de-B.reziziensis.pdf
|
|
Marc: |
LEADER 00715nam a2200217 a 4500
001 1596769
005 2024-06-17
008 2008 bl uuuu u00u1 u #d
100 1 $aSOUZA SOBRINHO, F. de
245 $aProdução de forragem de progênies de B.reziziensis nas épocas da seca e das águas.$h[electronic resource]
260 $aIn: REUNIÃO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA. 45., 2008, Lavras, MG. Anais... Lavras: SBZ / UFLA$c2008
500 $a1 CD.
650 $aForragem
653 $aAlimentação animal
653 $aMelhoramento de forrageiras
700 1 $aSOUZA, F. F.
700 1 $aSANTOS, P.
700 1 $a, A.
700 1 $aAUAD, A. M.
700 1 $aPEREIRA, A. V.
700 1 $aLEDO, F. J. da S.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Gado de Leite (CNPGL) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
