Implementação de sistemas tolerantes a falhas usando programação reflexiva orienta...
Geração de Propriedades sobre Programas Java a partir de Objetivos de Teste
Ambiente visual de desenvolvimento de programas paralelos de tempo-real
Sistemas de Informação Distribuídos para Agentes Móveis (SIDAM)
Arquitetura de software para recuperacao de falhas utilizando checkpointing quase-...
Gerenciamento de Saude Populacional: Desenvolvimento de Sistema Computacional de A...
Arquitetura de software para o desenvolvimento de aplicações distribuídas confiáveis