publicações selecionadas Especificação de sistemas na área de redes de computadores : uma abordagem orientada a objetos Um sistema de transferência de mensagens distribuído
theses/dissertations advising NCE : um sistema de notarização para o serviço de correio eletrônico Muse : um ambiente para modelagem de aplicações multimidia interativas com tradutor para e-lotos E-DART - Um Ambiente de Especificação E-LOTOS Especificação de qualidade de serviçoo e adaptação de aplicações multimídia distribuídas SET-Certification : uma ferramenta para obtenção de certificados digitais baseada no padrão SET Set-f : um framework para sistemas de transações eletrônicas seguras baseado no padrão set Um Modelo para Videoconferência em Computador Pessoal sobre Redes IP. E-dart : um ambiente de especificação e-lotos
