Présentation de Francis Jambon

Présentation de Francis Jambon

Date : jeudi 13 juin 2002
Lieu : CENA Toulouse, salle de conférence
Contact : Yannick Jestin
tél: 05 62 25 96 02

Titre de la présentation :
Vérification et validation des interfaces homme-machine

Résumé : Cet exposé présentera nos travaux sur les méthodes et techniques de vérification et de validation des Interfaces Homme-Machine. Après une rapide introduction du domaine de l'ingénierie de l'interaction homme-machine, nous nous intéresserons aux propriétés ergonomiques dont l'évaluation peut être automatisée. En se basant sur ces propriétés, la première approche évoquée montrera comment spécifier puis implanter un système interactif à l'aide d'un formalisme orienté modèle (B) et d'un modèle d'architecture logicielle spécialisé. La seconde approche s'intéressera au test des IHM à partir d'une analyse de la tâche de l'utilisateur. Nous présenterons les spécificités du test d'IHM, puis les techniques utilisées pour la soumission des séquences de test et la vérification des oracles. Enfin, les limites de ces approches seront évoquées ainsi que les axes de recherche en cours.

Elements de bibliographie :

  • Francis Jambon. From Formal Specifications to Secure Implementations. In Computer-Aided Design of User Interfaces (CADUI'2002), edited by Kolski, Christophe and Vanderdonckt, Jean, Valenciennes, France, Kluwer Academics, 2002, pp. 43-54. téléchargez le pdf
  • Francis Jambon, Patrick Girard and Yohann Boisdron. Dialogue Validation from Task Analysis. In Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'99), SpringerComputerScience, edited by Duke, D J and Puerta, A, Universidade do Minho, Braga, Portugal, Springer-Verlag, 1999, pp. 205-224. téléchargez le pdf
  • Autres références et articles en ligne à l'adresse : http://www.lisi.ensma.fr/members/jambon/

    À propos du présentateur :

    Francis Jambon est Ingénieur en électronique (ENSERG) et Docteur en informatique (Université Joseph Fourier - Grenoble 1). Il est actuellement Maître de Conférences à l'Université de Poitiers, au sein du Laboratoire de recherche LISI/ENSMA (EA 1232).

  • E-mail : Francis.Jambon@ensma.fr
  • Web : http://www.lisi.ensma.fr/ihm/

    Nouveau les supports sont disponibles au téléchargement au format pdf.

    [imprimer] affichette
    plan d'accès