|
Registro Completo |
|
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: |
-- |
|
Marc: |
LEADER 01278naa a2200181 a 4500
001 1005984
005 2007-09-20
008 1996 bl uuuu u00u1 u #d
100 1 $aSOUZA, W. L. de
245 $aImplementação automática, orientada a objetos, de especificações estelle na linguagem C++.
260 $c1996
300 $ap.31-44
520 $aExtended 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.
653 $aLinguagens de programação
653 $aProgramming languages
700 1 $aPRADO, A. F. do
700 1 $aSANTANA, A. C. L. de
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) |
|
