Contribution a la reutilisation de connaissances pour l'aide a l'elaboration et a l'evaluation des specifications de logiciels : application a la securite des systemes de transport guides

par MYRIAM DARRICAU

Thèse de doctorat en Sciences et techniques

Sous la direction de Jean-Gabriel Ganascia.

Soutenue en 1999

à Paris 6 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    La phase d'interpretation des besoins de l'utilisateur en specifications de logiciel repose en grande partie sur l'experience et le savoir faire des experts du domaine. Cette phase constitue actuellement le talon d'achille du developpement d'un logiciel, car elle conditionne l'ensemble des phases avales de realisation et d'evaluation du logiciel. L'approche suivie pour apporter un element de reponse a ce probleme, repose essentiellement sur la reutilisation des connaissances contenues dans differents dossiers de specifications de logiciels deja valides et certifies. Cette demarche a debouche sur la construction d'une base de specifications en deux phases complementaires. La premiere phase consiste a amorcer la base a l'aide d'un modele de specifications. Ce modele est issu de l'acquisition et de la structuration de connaissances communes a differentes specifications. Il est represente par des graphes conceptuels desowa. La seconde phase de construction de la base de specifications consiste a enrichir la base en utilisant le modele comme format d'acquisition de nouvelles specifications. Afin de montrer la faisabilite de l'approche proposee, nous avons focalise nos travaux sur un probleme representatif du domaine de la securite des transports guides : le systeme de pilotage automatique. L'approche proposee a ete mise en uvre au sein d'une maquette informatique permettant de reutiliser les connaissances de la base de specifications afin d'aider, d'une part a elaborer de nouvelles specifications, et d'autre part, a evaluer des specifications existantes.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 250 p.
  • Annexes : Notes bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1999 139
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1999
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : DARRICAU c
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.