Data/hora: 24/06/2024 11:12:31

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