publicações Especificação Formal de Tipos Abstratos de Dados via Sequência de Sistemas de Reescrita Documento IUP/LED: Um Sistema Portatil de Interface com o Usuario Documento PUCLOGO - Um Ambiente Integrado de Ferramentas voltado para a Educacao Documento Projeto da Navegação de Aplicativos Hipermídia Orientada ao Usuário Documento Redes Wireless Documento SpADD: Uma Extensão do Modelo Add Aplicada ao Projeto de Layout Espacial Documento Validacao de Sistemas de Computacao Documento
