Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    A generic formal model for fission of modalities in output multi-modal interactive systems

    Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009)

    Rabat, Morroco, 2 - 3 July 2009

    AUTHORS

    Linda Mohand Oussaïd, Yamine Aït Ameur and Mohamed Ahmed Nacer

    ABSTRACT

    Output multi-modal human-machine interfaces combine semantically output medias and modalities in order to increase interaction machine capabilities. The aim of this paper is to present a formal model supporting formal specifications of output multi-modal interactive systems. As a consequence, the expected usability and robustness properties can be expressed and checked. This paper proposes a generic model which permits to specify the output multimodal interfaces following the CASE design space.

    PAPER FORMATS

    PDF filePDF Version of this Paper (117kb)