BDBComp
Parceria:
SBC
Implementação Automática, Orientada a Objetos, de Especificações Estelle na Linguagem C++

Wanderley Lopes de SouzaAntônio Francisco do PradoAntô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

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD