Méthodes informatiques et linguistiques pour l'aide à la specification de logiciel

par Yannick Toussaint

Thèse de doctorat en Informatique

Sous la direction de Mario Borillo.

Soutenue en 1992

à Toulouse 3 .


  • Pas de résumé disponible.


  • Résumé

    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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [8]-402 p

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1992TOU30105
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : TOUSSAINT m
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.