publications([{ "lang": "fr", "type_publi": "colcomlec", "title": "Vers la formalisation de propriétés ergonomiques de systèmes interactifs", "abstract": "Les applications interactives sont aujourd'hui présentes dans plusieurs domaines et leur utilisation au sein de systèmes critiques est de plus en plus fréquente. Leur puissance ne cesse d'augmenter ainsi que leur complexité ce qui accroît le risque que des fautes soient introduites pendant les différentes étapes de leur développement. Leur correction devient ainsi un enjeu important et leur développement requiert une validation rigoureuse. Outre le besoin de correction fonctionnelle, les exigences attendues d'une application interactive s'expriment en termes d'utilisabilité, définie au moyen de propriétés ergonomiques. La vérification de ces dernières n'est pas une tâche facile, leur définition étant souvent trop informelle ou bien difficilement exprimable en des termes exploitables par des ingénieurs de développement ou de validation. Dans cet article, nous présentons la formalisation de certaines propriétés ergonomiques qui pourront ultérieurement être validées automatiquement. Pour cela, nous nous basons sur une notation courante dans le domaine de l'interaction homme-machine, les arbres des tâches, déjà utilisée dans le cadre de nos travaux antérieurs pour la génération automatique de tests. Nous identifions les insuffisances du modèle sousjacent à cette génération en vue de la prise en compte de propriétés ergonomiques et nous exhibons une extension de ce dernier permettant d'envisager le test de certaines d'entre elles.", "authors": { "1": { "first_name": "Laya", "last_name": "Madani" }, "2": { "first_name": "Ahmed", "last_name": "M'hiri" }, "3": { "first_name": "Sophie", "last_name": "Dupuy-Chessa" }, "4": { "first_name": "Ioannis", "last_name": "Parissis" } }, "year": 2009, "uri": "http://iihm.imag.fr/publication/MMD+09a/", "pages": "16", "bibtype": "inproceedings", "id": 446, "abbr": "MMD+09a", "address": "Toulouse, France", "date": "2009-01-26", "document": "http://iihm.imag.fr/publs/2009/AFADL-09-final.pdf", "type": "Conférences nationales avec comité de lecture sur texte complet", "booktitle": "Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’2009)" }, { "type_publi": "icolcomlec", "doi": "http://dx.doi.org/10.1007/978-3-540-92698-6_3", "title": "Formal Testing of Multimodal Interactive Systems", "booktitle": "Engineering Interactive Systems (EIS'07)", "year": 2007, "uri": "http://iihm.imag.fr/publication/BMN+07a/", "id": 59, "bibtype": "inproceedings", "abbr": "BMN+07a", "authors": { "1": { "first_name": "Jullien", "last_name": "Bouchet" }, "2": { "first_name": "Laya", "last_name": "Madani" }, "3": { "first_name": "Laurence", "last_name": "Nigay" }, "4": { "first_name": "Catherine", "last_name": "Oriat" }, "5": { "first_name": "Ioannis", "last_name": "Parissis" } }, "date": "2007-01-01", "document": "http://iihm.imag.fr/publs/2007/DSVIS06-MultiFormal.pdf", "type": "Conférences internationales de large diffusion avec comité de lecture sur texte complet", "pages": "36-52" }, { "type_publi": "icolcomlec", "title": "Testing the CARE properties of multimodal applications by means of a synchronous approach", "booktitle": "Conference Proceedings of SE 2005, IASTED International Conference on Software Engineering", "year": 2005, "uri": "http://iihm.imag.fr/publication/MNP05a/", "id": 90, "bibtype": "inproceedings", "abbr": "MNP05a", "authors": { "1": { "first_name": "Laya", "last_name": "Madani" }, "2": { "first_name": "Laurence", "last_name": "Nigay" }, "3": { "first_name": "Ioannis", "last_name": "Parissis" } }, "date": "2005-01-01", "document": "http://iihm.imag.fr/publs/2005/IASTED05-MadaniNigayParissis.pdf", "type": "Conférences internationales de large diffusion avec comité de lecture sur texte complet", "pages": "181-186" }, { "type_publi": "icolcomlec", "title": "Synchronous Testing of Multimodal Systems: an Operational Profile-Based Approach", "booktitle": "Conference Proceedings of ISSRE 2005, 16th IEEE International Symposium on Software Reliability Engineering, Chicago, Illinois, USA.", "year": 2005, "uri": "http://iihm.imag.fr/publication/MOP+05a/", "bibtype": "inproceedings", "abbr": "MOP+05a", "authors": { "1": { "first_name": "Laya", "last_name": "Madani" }, "2": { "first_name": "Catherine", "last_name": "Oriat" }, "3": { "first_name": "Ioannis", "last_name": "Parissis" }, "4": { "first_name": "Jullien", "last_name": "Bouchet" }, "5": { "first_name": "Laurence", "last_name": "Nigay" } }, "date": "2005-01-01", "document": "http://iihm.imag.fr/publs/2005/ISSRE05.pdf", "type": "Conférences internationales de large diffusion avec comité de lecture sur texte complet", "id": 93 }]);