01278naa a2200181 a 450000100080000000500110000800800410001910000200006024501000008026000090018030000120018952006640020165300320086565300260089770000200092370000250094377301280096810059842007-09-20       1996    bl uuuu     u00u1 u    #d1 aSOUZA, W. L. de  aImplementação automática, orientada a objetos, de especificações estelle na linguagem C++.  c1996  ap.31-44  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.  aLinguagens de programação  aProgramming languages1 aPRADO, A. F. do1 aSANTANA, A. C. L. de  tIn: SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO, 1., 1996, Belo Horizonte. Anais. Belo Horizonte: SBC / UFMG, 1996.