Metropol : un outil de mesure statique sur les arbres centaur

par THIERRY PARMENTELAT

Thèse de doctorat en Sciences appliquées

Sous la direction de DONZEAU-GOUGE.

Soutenue en 1991

à CNAM .

    mots clés mots clés


  • Résumé

    Une etude approfondie de la bibliographie consacree aux mesures statiques du logiciel demontre la necessite d'un outil general, tant pour les mesures que pour les langages traites. Avec l'ambition de repondre a ce double objectif, l'outil metropol a ete realise autour de l'editeur syntaxique centaur. Les algorithmes de mesure sont appliques aux arbres syntaxiques, et sont definis dans un metalangage specialise, qui se prete aux syntheses d'attributs, grace a un puissant mecanisme de filtrage associatif. Nous commentons des exemples d'implementation pour des langages reels, qui utilisent un gestionnaire de graphes generique, assorti d'algorithmes de dessin originaux. Une description detaillee des strategies de complication du filtrage, ainsi que des interfaces utilisateur, termine le corps de ce memoire. Les outils realises grace a cette technologie sont actuellement commercialises. On a entrepris de les etendre a la mesure dynamique, de les integrer dans l'atelier de developpement concerto, et des resultats partiels sont mis en pratique pour le developpement d'autres applications informatiques


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 85 REF

Où se trouve cette thèse ?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 128
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : Th A 128 double
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.