Abstract FR:

La phase de conception dans le cycle de developpement en genie logiciel est determinante dans un projet informatique. Elle requiert une collaboration etroite entre differents types d'intervenants dont les connaissances et la culture informatique sont tres diverses. Des systemes d'aide et des langages formels ont ete mis au point afin d'assurer une meilleure qualite dans les specifications et pallier des erreurs graves dans le developpement d'un systeme. Dans cette phase ou toutes les ressources mentales des ingenieurs sont fortement sollicitees, le langage naturel reste neanmoins le mode d'expression le plus direct et le plus adapte a la communication entre client et developpeur. La premiere partie de la these concerne l'analyse automatique de specifications en vue d'extraire le contenu informationnel des exigences en langage naturel. Elle permet d'integrer les connaissances du domaine technique de reference et produit l'interpretation conceptuelle sous forme de reseau semantique. La seconde partie est constituee par un module de raisonnement utilisant les interpretations conceptuelles. La tracabilite est un element essentiel dans le developpement de logiciel et le module de raisonnement defini et mis en uvre vise a aider a la construction de liens de tracabilite. Ces travaux constituent une premiere etape dans la maitrise du materiau linguistique dans le cadre de la specification de logiciel