Data/hora: 24/06/2024 15:04:57

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 17/02/1998
Data da última atualização: | 20/09/2007
Autoria: | SOUZA, W. L. de; PRADO, A. F. do; SANTANA, A. C. L. de.
Título: | Implementação automática, orientada a objetos, de especificações estelle na linguagem C++.
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.31-44
Idioma: | Português
Conteúdo: | Extended State Transition Language (ESTELLE) e uma Técnica de Descrição Formal (TDF), padronizada pela International Organization for Standardization (ISO), que foi desenvolvida para a especificação formal de sistemas distribuidos e protocólos de comunicação. Uma implementação de um sistema pode ser obtida automaticamente, a partir de sua especificação ESTELLE, com o auxilio de ferramentas apropriadas. O objetivo principal deste artigo e o de mostrar como implementações de sistemas orientados a objetos, na linguagem C++, podem ser geradas a partir de suas especificacoes ESTELLE, utilizando o ambiente de transformação de software draco.
Palavras-Chave: | Linguagens de programação; Programming languages.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (6613-1) - ADD - PL - -- - 005.13 - SIM - 1996.00015 - DIS