Formalisation et evaluation des theories traitant des centres d'attention et application aux dialogues en langue naturelle d'acquisition des besoins

par RENAUD LECOEUCHE

Thèse de doctorat en Sciences et techniques

Sous la direction de JEAN PIERRE PECUCHET.

Soutenue en 1999

à Rouen .

    mots clés mots clés


  • Résumé

    L'acquisition des besoins est une etape difficile de l'ingenieurie logicielle, pendant laquelle les specifications d'un nouveau logiciel sont discutees avec les futurs utilisateurs. Verifier que cette etape est correcte est une tache complexe. Une aide informatique est donc souvent benefique. Cette aide necessite des specifications formelles. Cependant, peu de gens sont habitues a utiliser des langages de specifications formels. Des langages adaptes a un domaine particulier peuvent aider dans l'ecriture de specifications formelles, mais l'acquisition reste souvent entachee d'erreurs. Un outil qui interagit avec les utilisateurs et les aide a exprimer leurs besoins pourrait reduire le nombre d'erreurs commises. Le but est ici d'extraire les besoins activement par un dialogue avec les utilisateurs. Malgre le developpement de nombreux moyens de representation et d'analyse des besoins, peu d'attention a ete donnee au controle du dialogue ordinateur-utilisateur lors de l'acquisition des besoins. Les theories traitant des centres d'attention expliquent comment les protagonistes d'un dialogue portent leur attention sur certaines choses a certains moments du dialogue. Dans cette these, nous proposons d'utiliser ces theories afin d'ameliorer la qualite du dialogue ordinateur-utilisateurs. Nous montrons qu'en combinant les contraintes sur l'evolution du dialogue donnees par ces theories et les contraintes inherentes a l'acquisition des besoins nous pouvons guider l'acquisition d'une maniere naturelle et facile a suivre pour les utilisateurs. Cette utilisation interactive des theories traitant des centres d'attention est nouvelle. Nous comparons egalement differentes theories pour cette tache. Cela nous force a formaliser les theories et a developper une methode originale pour les tester empiriquement.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 205 p.
  • Annexes : 163 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rouen. Service commun de la documentation. Section sciences site Madrillet.
  • Disponible pour le PEB
  • Cote : 99/ROUE/S043
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.