Accepted: 16 January 2021 Multimedia authoring is the process of assembling various types
of media content such as audio, video, text, images, and animation into a multimedia …

Abstract Multimedia Authoring Tool is a tool for creating multimedia presentations. With this
tool, a user can produce playable multimedia documents. A Multimedia Authoring Tool …

In this paper we define a formal semantics for the language SMIL which can be used in a
number of applications. First of all, we propose a computer aided authoring system which …

A multimedia document authoring system should provide analysis and validation tools that
help authors find and correct mistakes before document deployment. Although very useful …

Abstract The Nested Context Language (NCL) is a multimedia authoring language that is
part of the standard for digital television in Brazil and in Latin America and the ITU standard …

This work discusses the validation and verification of hypermedia and multimedia
documents. With the validation and verification of hypermedia and multimedia documents, it …

Abstract The Nested Context Language is a multimedia authoring language which is part of
the standard for digital television in Brazil and in Latin America and the ITU standard for …

Declarative multimedia documents represent the description of multimedia applications in
terms of media items and relationships among them. Relationships specify how media items …

This paper presents a model-driven approach for the analysis of NCL documents. Structural
and behavioral properties of NCL documents are verified guaranteeing its well-formedness …

Interactive digital TV applications with runtime errors would certainly damage the viewer's
experience. Testing NCL multimedia applications is very important to ensure that they will …