Formal semantics for interactive music scores: A framework to design, specify properties and execute interactive scenarios

Vista sencilla de ítem
dc.citation.journalTitleJournal of Mathematics and Musiceng
dc.contributor.authorToro, Mauricio
dc.contributor.departmentUniversidad EAFIT. Departamento de Ingeniería de Sistemasspa
dc.contributor.researchgroupI+D+I en Tecnologías de la Información y las Comunicacionesspa
dc.creatorToro, Mauricio
dc.date.accessioned2021-04-12T20:55:46Z
dc.date.available2021-04-12T20:55:46Z
dc.date.issued2014-02-01
dc.description.abstractMost 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 sceeng
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=4921
dc.identifier.doi10.1080/17459737.2013.870610
dc.identifier.issn17459737
dc.identifier.issn17459745
dc.identifier.urihttp://hdl.handle.net/10784/28608
dc.language.isoengeng
dc.publisherTaylor and Francis Ltd.
dc.relationDOI;10.1080/17459737.2013.870610
dc.relation.urihttps://www.tandfonline.com/doi/abs/10.1080/17459737.2013.870610
dc.rightshttps://v2.sherpa.ac.uk/id/publication/issn/1745-9737
dc.sourceJournal of Mathematics and Music
dc.titleFormal semantics for interactive music scores: A framework to design, specify properties and execute interactive scenarioseng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.typepublishedVersioneng
dc.type.localArtículospa

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
Formal semantics for interactive music scores a framework to design specify properties and execute interactive scenarios.pdf
Tamaño:
3.21 MB
Formato:
Adobe Portable Document Format
Descripción:
Descargar

Colecciones

Artículos (GIDITIC)