PROTEUM-RS/ST: uma ferramenta para apoiar a validação de especificações statechart...
Desenvolvimento de espacos virtuais a partir da experiencia da construcao de espacos.
Especificacao de um modelo formal para aplicacoes em sistemas hipermidia abertos.