Thèse soutenue

Formalisation et évaluation des théories traitant des centres d'attention et application aux dialogues en langue naturelle d'acquisition des besoins
FR
Accès à la thèse
Auteur / Autrice : Renaud Lecoeuche
Direction : Jean-Pierre Pecuchet
Type : Thèse de doctorat
Discipline(s) : Sciences et techniques
Date : Soutenance en 1999
Etablissement(s) : Rouen

Résumé

FR

L'acquisition des besoins est une étape difficile de l'ingénierie logicielle, pendant laquelle les spécifications d'un nouveau logiciel sont discutées avec les futurs utilisateurs. Vérifier que cette étape est correcte est une tâche complexe. Une aide informatique est donc souvent bénéfique. Cette aide nécessite des spécifications formelles. Cependant, peu de gens sont habitues à utiliser des langages de spécifications formels. Des langages adaptés à un domaine particulier peuvent aider dans l'écriture de spécifications formelles, mais l'acquisition reste souvent entachée d'erreurs. Un outil qui interagit avec les utilisateurs et les aide à exprimer leurs besoins pourrait réduire le nombre d'erreurs commises. Le but est ici d'extraire les besoins activement par un dialogue avec les utilisateurs. Malgré le développement de nombreux moyens de représentation et d'analyse des besoins, peu d'attention a été donnée au contrôle du dialogue ordinateur-utilisateur lors de l'acquisition des besoins. Les théories traitant des centres d'attention expliquent comment les protagonistes d'un dialogue portent leur attention sur certaines choses à certains moments du dialogue. Dans cette thèse, nous proposons d'utiliser ces théories afin d'améliorer la qualité du dialogue ordinateur-utilisateurs. Nous montrons qu'en combinant les contraintes sur l'évolution du dialogue données par ces théories et les contraintes inhérentes à l'acquisition des besoins nous pouvons guider l'acquisition d'une manière naturelle et facile à suivre pour les utilisateurs. Cette utilisation interactive des théories traitant des centres d'attention est nouvelle. Nous comparons également différentes théories pour cette tâche. Cela nous force à formaliser les théories et à développer une méthode originale pour les tester empiriquement.