Cette thèse se situe dans le domaine de l'ingénierie des interfaces utilisateur (spécification, conception et évaluation d'interfaces). Un modèle conceptuel d'interface et d'interaction a été défini. Ce modèle vise à faire le lien entre les modèles cognitifs axés sur l'analyse de taches et les modèles d'architecture. Le cadre proposé s'inscrit dans une approche génie-logiciel. Le modèle prend en compte aussi bien l'aspect dynamique que l'aspect statique d'une interface. La structure du dialogue est modélisée à l'aide de la notion de plan de travail qui correspond à un ensemble structuré de taches déjà accomplies ou bien en cours de réalisation. Le problème des erreurs et des interruptions est étudié avec la notion de backtrack ou de remise en cause d'une réalisation de tache. À partir du modèle un langage de spécification formelle d'interfaces est décrit. Le langage permet une spécification globale d'une interface en décomposant celle-ci en trois parties (interface fonctionnelle, dialogue et présentation). Un environnement autour du langage de spécifications a été développé. Cet environnement comprend un éditeur syntaxique, un outil de génération automatique de prototypes et de vérification de propriétés d'interfaces. L’utilisation du prototype permet une évaluation empirique d'une spécification