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

Author： Toro Mauricio Desainte-Catherine Myriam Rueda Camilo

Publisher： Taylor & Francis Ltd

ISSN： 1745-9737

Source： Journal of Mathematics and Music, Vol.8, Iss.1, 2014-01, pp. : 93-112

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Formal architectural abstractions for interactive software

By Markopoulos P. Johnson P. Rowson J.

International Journal of Human-Computer Studies, Vol. 49, Iss. 5, 1998-11 ,pp. : 675-715

Academic Press

Access to resources Recommend Favorite

Combining MSC/NASTRAN, sensitivity methods, and virtual reality to facilitate interactive design

By Yeh T.-P. Vance J.M.

Finite Elements in Analysis and Design, Vol. 26, Iss. 2, 1997-06 ,pp. : 161-169

Elsevier

Access to resources Recommend Favorite

Interactive Solution Approach to a Multiobjective Optimization Problem in a Paper Machine Headbox Design

By Hämäläinen J.P. Miettinen K. Tarvainen P. Toivanen J.

Journal of Optimization Theory and Applications, Vol. 116, Iss. 2, 2003-02 ,pp. : 265-281

Springer Publishing Company

Access to resources Recommend Favorite

FixtureNet : interactive computer-aided design via the World Wide Web

By Wagner R. Castanotto G. Goldberg K.

International Journal of Human-Computer Studies, Vol. 46, Iss. 6, 1997-06 ,pp. : 773-788

Academic Press

Access to resources Recommend Favorite

Integrating user and computer system concerns in the design of interactive systems

By Blandford A.E. Duke D.J.

International Journal of Human-Computer Studies, Vol. 46, Iss. 5, 1997-05 ,pp. : 653-679

Academic Press

Access to resources Recommend Favorite