218
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

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

      proceedings-article

      , ,

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

      Verification and Evaluation of Computer and Communication Systems (VECoS 2009)

      2-3 July 2009

      Multi-modal interaction, fission of modalities, formal design, formal verification

      Bookmark

            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.

            Content

            Author and article information

            Contributors
            Conference
            July 2009
            July 2009
            : 1-12
            Affiliations
            [0001]Centre de Recherche sur l’Information Scientifique et Technique

            LSI/Université des Sciences Technologiques Houari Boumediene

            Algiers, Algeria

            www.cerist.dz
            [0002]Laboratoire d’Informatique Scientifique et Industrielle /

            Ecole Nationale Supérieure de Mécanique et d’Aérotechnique

            Téléport 2- 1 Avenue Clément Ader BP 40109 86961 Futuroscope Chasseneuil cedex

            http://www.lisi.ensma.fr/
            [0003]Laboratoire des Systèmes Informatiques

            Université des Sciences Technologiques Houari Boumediene

            Algiers, Algeria

            http://www.lsi.usthb.dz/
            Article
            10.14236/ewic/VECOS2009.12
            32372c45-23e3-4ef9-91e4-c803b2fcd18f
            © Linda Mohand Oussaïd et al. Published by BCS Learning and Development Ltd. Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009), Rabat, Morroco

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            VECOS
            3
            Rabat, Morroco
            2-3 July 2009
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2009)
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article