Contribution à l' ingénierie en Interaction Homme-Machine : une technique de description formelle et un environnement pour une modélisation et une exploitation synergiques des tâches et du système

La complexite du developpement d' un systeme interactif est tres variable puisqu' une interface peut etre une ligne de commande ou faire intervenir des moyens sophistiques d' interaction. Les processus de developpement classiques ont montre leur inaptitude a couvrir le cas des systemes interactifs. Cette these propose : une technique de description formelle, qui etend celle des ICO pour modeliser completement des systemes interactifs complexes et permettre une structuration des modeles selon une approche a objets ; un processus de developpement, dans lequel vient s' inscrire une methode de conception basee sur la modelisation formelle et utilisant le formalisme des ICO ; un environnement de conception, qui supporte l' edition, la verification et l' execution des modeles decrits dans ce formalisme ; la validation croisee des modeles de tâche et des modeles du systeme.