Design methodology and formal validation of hypermedia documents
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Monads for incremental computing
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Modeling and Analyzing SMIL Documents in SAM
MSE '02 Proceedings of the Fourth IEEE International Symposium on Multimedia Software Engineering
Live editing of hypermedia documents
Proceedings of the 2006 ACM symposium on Document engineering
Intermedia synchronization management in DTV systems
Proceedings of the eighth ACM symposium on Document engineering
Composer: Authoring Tool for iTV Programs
EUROITV '08 Proceedings of the 6th European conference on Changing Television Environments
SMIL builder: An incremental authoring tool for SMIL Documents
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
Automating the analysis of NCL documents with a model-driven approach
Proceedings of the 19th Brazilian symposium on Multimedia and the web
Two normal forms for link-connector pairs in NCL 3.0
Proceedings of the 19th Brazilian symposium on Multimedia and the web
| Hi-index | 0.00 |
This paper describes a NCL 3.0 hypermedia application development toolchain which supports the verification of temporal and spatial consistency of NCL applications. In this toolchain, the application is translated into a TSS code and temporal logic formulas are used for checking the desired properties. It is proposed an approach for incremental verification of live NCL applications. The paper illustrates the proposed approach with a case study of a NCL-based interactive TV application.