Recouvrement avant de programmes sous les hypotheses de specifications deterministes et non deterministes

par Ali Jaoua

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean Vignolle.

Soutenue en 1987

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Etude de la specification et de l'abstraction fonctionnelle de programmes. Definition de la coherence de programmes en termes relationnels. Definition des differents niveaux de coherence d'etats de programmes et des caracterisations de ces niveaux. Proposition d'une methodologie pratique de recouvrement avant basee sur l'idee de preserver, au moyen d'assertions executables, un niveau donne de coherences. Presentation d'une methodologie hybride de validation de programmes basee sur la verification formelle de certaines proprietes critiques du programme, et le recouvrement avant des proprietes non critiques


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 126 P.
  • Annexes : 37 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1987TOU30227
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.