Data/hora: 24/09/2024 14:45:12

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	25/06/1996	
Data da última atualização: 	17/08/2007	
Autoria: 	ALMEIDA, E. S. de; HAEUSLER, E. H.	
Título: 	Utilizacao de CSP como ferramenta para especificacao semantica de linguagens orientadas a objetos.	
Ano de publicação: 	1994	
Fonte/Imprenta: 	In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994.	
Páginas: 	p.349-363	
Idioma: 	Português	
Conteúdo: 	Linguagens orientadas a objetos possuem como caracteristica principal a definicao de classes como modelos para objetos. Um programa em linguagens deste tipo pode estar baseado em mecanismos de comunicacao entre objetos ativos, provocando a execucao de procedimentos sem, no entanto, estabelecer uma sequencia de execucao para o programa como um todo. Neste trabalho apresentamos, segunsdo a abordagem denotacional, a utilizacao de CSP [4], uma linguagem baseada em mecanismos de sincronia entre processos, na especificacao formal de TOOL [e3], demonstrando a adequacao do esxposto aqui a casos reais. Os aspectos mais relevantes da especificacao de TOOL sao abordados a guisa de ilustracao.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (3376-1) - ADD - PL - -- - 004 - SEM - 1996.00003 - DIS