Test methods for Score-Based Interactive Music Systems Toward a formal Specification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Poster Communications Year :

Test methods for Score-Based Interactive Music Systems Toward a formal Specification

Abstract

Time Line How be sure of a Score-Based Interactive Music System's behavior during shows ? Ensuring a " guarantee " on the behavior of a complex real-time system is not trivial and requires formal method. Today, Antescofo's behavior is " manually " checked by the compositor during rehearsals. Since rehearsal performances represent just a few set of all possible interpretations of a score, this method is not rigorous. The poster depicts another rigorous method.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
Test_methods_poster_v1.pdf (8.26 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01133597 , version 1 (19-03-2015)

Identifiers

  • HAL Id : hal-01133597 , version 1

Cite

Clément Poncelet, Florent Jacquemard. Test methods for Score-Based Interactive Music Systems Toward a formal Specification. ICMC/SMC 2014, Sep 2014, Athène, Greece. ⟨hal-01133597⟩
108 View
36 Download

Share

Gmail Facebook Twitter LinkedIn More