Formal semantics for interactive music scores: A framework to design, specify properties and execute interactive scenarios
Fecha
2014-02-01
Autores
Toro, Mauricio
relationships.isAdvisorOf
Título de la revista
ISSN de la revista
17459737
17459745
17459745
Título del volumen
Editor
Taylor and Francis Ltd.
item.page.isbn
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