Nested composite nodes and version control in an open hypermedia system
Design Methodology And Formal Validation Of Hypermedia Documents
Um Modelo Formal Para Verificação da Consistência de Documentos Hipermídia Ncm
Usando Rt-Lotos Para Especificar Documentos Ncm
Usando Rt-Lotos Para Verificar A Consistência de Documentos Multimídia Em Plataformas Configuráveis
Formal Specification And Validation Of Documents Based On Event-Driven Hypermedia Models
Multimed Tools Appl
J Braz Comput Soc
Proceedings of the 19th Brazilian symposium on Multimedia and the web - WebMedia ’13
Proceedings of the 2012 ACM symposium on Document engineering - DocEng ’12
IJAMC
Journal of Internet Services and Applications
Marco Antônio Casanova
Carlos de Salles Soares Neto
Simone Diniz Junqueira Barbosa
Noemi de La Rocque Rodriguez
Márcio Ferreira Moreno
Rogério Ferreira Rodrigues
Estilos Arquiteturais de Software na Construção de Objetos de Aprendizagem para a TV Digital Interativa
Integração do AulaNet com a TV Digital
Construindo Aplicações de T-Learning Integradas com uma Plataforma Web Educacional Semântica