No abstract

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 IPTV services. The need for proper support for the development of NCL applications is growing with the increasing demand for digital TV applications. Rigorous means to assure that multimedia presentations in NCL will behave as expected is an example. Since NCL applications may be understood as finite transition systems, standard model-based verification techniques directly apply. This paper discusses a formalization of NCL semantics and its realization in a verification tool.

This contribution proposes an extension to middleware Ginga- NCL as a way to provide a declarative approach for the creation and execution of interactive mulsemedia applications. It enables the author to create mulsemedia applications in NCL, defining sensory effects as nodes. Therefore, one is able to reuse all the language support for content synchronization, user interaction, context adaptation, etc.

No abstract

No abstract

No abstract

Resumo: Este artigo apresenta uma experiência de ensino-aprendizagem por meio de jogos digitais realizada com alunos do ensino médio-técnico de informática. A ideia é aproveitar as habilidades que os alunos possuem com jogos e mostrar como o desenvolvimento de jogos digitais pode auxiliar no ensino de algoritmos e programação de forma lúdica, disciplinas essenciais ao curso de informática, mas que possuem altos índices de reprovação e abandono do curso.

No abstract