Validation des specifications conceptuelles d'un systeme d'information

par CARINE SOUVEYET

Thèse de doctorat en Sciences appliquées

Sous la direction de Colette Rolland.

Soutenue en 1991

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these a pour objectif le developpement d'un outil de verification des specifications conceptuelles de sl, et plus particulierement celui de l'agl rubis. L'originalite de ce travail reside dans l'approche retenue. Elle s'apparente aux approches de developpement des sl comportant tout d'abord l'utilisation d'un modele pour specifier l'application au niveau conceptuel avant de transformer ces specifications conceptuelles pour les adapter a l'environnement final. Notre approche est similaire puisqu'elle consiste a utiliser un meta-modele pour modeliser le module de validation. Cette description precise d'une part ce qui fait l'objet de validation (les elements a verifier et les regles de controle a appliquer), et d'autre part, le processus de validation lui-meme. Le schema obtenu peut alors etre adapte a l'environnement final de l'outil. Ce memoire s'organise donc en deux parties; la presentation et l'illustration par deux exemples du meta-modele est en effet suivi de l'adaptation de la meta-description de l'outil de verification a l'environnement de l'agl rubis


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 69 REF

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 1991 342
  • 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 1991
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.