Validation et vérification formelles de systèmes Interactifs Multi-Modaux Fondées sur la Preuve

ACM International Conference Proceeding Series

Volumn 133, Issue , 2006, Pages 123-130

  Ait Ameur, Yamine ^a   Ait Sadoune, Idir ^a   Mota, Jean Marc ^a   Baron, Michael ^b  

^a UNIVERSITÉ DE POITIERS   (France)

^b INRIA ROCQUENCOURT   (France)

Author keywords

CARE properties; Multi modal HCI; Proof based technique; Verification validation

Indexed keywords

INTERFACES (COMPUTER); MODAL ANALYSIS; OPTICAL DESIGN; VERIFICATION;

CARE PROPERTIES; MULTI-MODAL HCI; PROOF BASED TECHNIQUE; SEMI-FORMAL TECHNIQUES;

HUMAN COMPUTER INTERACTION;

EID: 34250863496     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1132736.1132752     Document Type: Conference Paper

References (19)

1. Spin - version 4.0.1, 1993.
2. J.-R. Abrial. Extending B without changing it (for Developing Distributed Systems). In H. Habrias, (Ed.), First B Conference, Putting Into Pratice Methods and Tools for Information System Design, page 21, Nantes, France, 1996.
3. J.-R. Abrial. The B Book. Assigning Programs to Meanings. Cambridge University Press, 1996.
4. J.-R. Abrial. Event Based Sequential Program Development: Application to Constructing a Pointer Program. In FME 2003: Formal Methods Europe, pages 51-74. Springer, September 2003.
5. Y. Aït-Ameur, I. Aït-Sadoune, and M. Baron. Modelisation et validation formelles d'IHM : Lot 1. Technical report, Projet RNRT Verbatim, LISI ENSMA, 2005.6. Y. Aït-Ameur, I. Aït-Sadoune, and M. Baron. Etude et comparaison de scénarios de
6. développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement. In Proceedings of MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation, Rabat, Maroc, 2006. To Appear.
7. Y. Aït-Ameur and N. Kamel. A generic formal specification of fusion of modalities in a multi-modal HCI. In R. Jacquart, (Ed.), IFIP World Computer Science, pages 415-420, Toulouse, France, 2004. Kluwer Academic Publishers.
8. L. Bass, R. Faneuf, R. Little, N. Mayer, R. Pellegrino, S. Reed, R. Seacord, S. Sheppard, and M. Szczur. A metamodel for the runtime architecture of an interactive system. SIGCHI Bulletin, 24(1):32-37, 1992.
9. J. Bouchet, L. Nigay, and T. Ganille. ICARE software components for rapidly developing multimodal interfaces. In Proceedings of ACM-CHI 2004, Extended Abstracts, pages 1325-1328, Vienna, Austria, 2004.
10. S. Burbeck. Application programming in smalltalk-80: How to use the Model-View-Controller (MVC). Report, 1992.
11. D. Cansell. Assistance au développement incrémental et à sa preuve. Habilitation à diriger les recherches, Université Henri Poincaré, 2003.
12. J. Coutaz. PAC, an Implementation Model for the User Interface. In IFIP TC13 Human-Computer Interaction (INTERACT'87), pages 431-436, Stuttgart, 1987. North-Holland.
13. J. Coutaz, L. Nigay, D. Salber, A. Blandford, J. May, and R.M. Young. Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. In Proceedings of Human Computer Interaction - Interact'95, pages 115-120. Chapman and Hall, 1995.
14. E.W. Dijkstra. A discipline of programming. Prentice-Hall, Englewood Cliffs, 1976.
15. F. Jambon, Philippe Brun, and Y. Aït-Ameur. Spécifications des systèmes interactifs (Volume 1, chapitre 6), pages 175-206. In Kolski C. (Ed.), Interaction homme-machine pour les S.I. Hermès Science, Paris, France, 2001.
16. K. Me Millan. The SMV System. Technical report, Carnegie Mellon University, 1992.
17. D. Navarre, P. Palanque, R. Bastide, A. Schyn, M. Winckler, L. Nedel, and C. Freitas. A formal description of multimodal interaction techniques for immersive virtual reality applications. In Proceedings of INTERACT 2005, Roma, Italy, 2005. Lecture Notes in Computer Science, Springer Verlag.
18. F. Paternò. Model-Based Design and Evaluation of Interactive Applications. Springer, 2001.
19. P. Schnoebelen, B. Bérard, M. Bidoit, F. Laroussinie, and A. Petit. Vérification de logiciels : techniques et outils du model-checking. Vuibert, April 1999.