Data/hora: 24/06/2024 19:20:06

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: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (6617-1) - ADD - PL - -- - 005.13 - SIM - 1996.00015 - DIS