|
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) |
|
