Hierarchie et heterogeneite dans les specifications formelles

par SOPHIE COUDERT

Thèse de doctorat en Sciences et techniques

Sous la direction de Gilles Bernot.

Soutenue en 1998

à Evry-Val D'Essonne .

    mots clés mots clés


  • Résumé

    Afin de faciliter l'utilisation des specifications formelles en vue d'ameliorer la qualite des logiciels, deux grandes tendances se sont degagees ces dernieres annees : d'une part la grande diversite des formalismes qui, specialises, permettent des specifications plus lisibles ou offrent des outils (de preuve par exemple) plus puissants, et d'autre part la structuration des specifications qui decomposables en modules permettent d'aborder des problemes plus complexes. Conjuguant ces deux aspects, cette these propose un cadre rigoureux dans lequel on peut connecter des modules de specification, chacun ecrit dans son propre formalisme, formant ainsi des specifications structurees dites heterogenes. Ce cadre est base sur une caracterisation generique et donc unifiee des modules de specification, pourvus chacun d'une semantique, d'un systeme de preuves fonde et d'un domaine d'application, ce qui leur confere toute l'autonomie utile dans une perspective de reutilisation. Aux specifications complexes sont associes automatiquement des attributs structures (semantique, preuves, domaines) deduits des attributs des composants atomiques et l'heterogeneite est introduite a l'aide de modules de traduction, cas particuliers de la notion generale de module proposee. Cette modelisation recouvre entre autre les approches precedentes de la structuration hierarchique homogene. Elle se veut pragmatique : l'heterogeneite est souple, les traductions peuvent etre partielles ; et au dessus de fondements rigoureux nous proposons une apprehension intuitive des specifications comme des murs dont les composants seraient les briques ; enfin, par son caractere tres formel, ce cadre peut servir de contrepartie theorique a une implantation d'environnement de specifications heterogenes.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 206 p.
  • Notes : Publication autorisée par le jury
  • Annexes : 72 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Bretagne-Sud (Vannes). Bibliothèque universitaire.
  • Disponible pour le PEB
  • Bibliothèque : Université d'Evry-Val d'Essonne. Service commun de la documentation. Bibliothèque centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : 005.1 COU hie
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.