Test methods for Score-Based Interactive Music Systems Toward a formal Specification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2014

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

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
Test_methods_poster_v1.pdf (8.26 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-01133597 , version 1

Citer

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⟩
110 Consultations
39 Téléchargements

Partager

Gmail Facebook X LinkedIn More