Formal semantics for interactive music scores: A framework to design, specify properties and execute interactive scenarios
Fecha
2014-02-01
Autores
Título de la revista
ISSN de la revista
Título del volumen
Editor
Taylor and Francis Ltd.
Resumen
Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need for a general and formal model aiming at ensuring safe executions of interactive multimedia sce