Wanderley Lopes de Souza,  Antônio Francisco do Prado,  Antônio Carlos Lima de Santana. 

Extended State Transition Language (Estelle) is a Formal Description Technique (FDT) standardized by International Organization for Standardization (ISO) that was developed for the formal specification of distributed systems and communication protocols. A system implementation can be obtained automatically from its Estelle specification using appropriated tools. The main goal of this paper is to show how system object oriented implementations in the c++ language can be generated from their Estelle specificiations using the software transformation environment Draco. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web Processando consulta.