Abstract 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.