Une approche a la programmation de systemes en gamma

par HECTOR RUIZ BARRADAS

Thèse de doctorat en Informatique

Sous la direction de Jean-Pierre Banâtre.

Soutenue en 1993

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Dans cette these, nous proposons une approche a la programmation de systemes en utilisant le formalisme gamma. Dans ce formalisme, les programmes sont decrits par transformation de multi-ensembles. Une caracteristique distinctive de gamma est la possibilite d'exprimer les algorithmes sous une forme tres abstraite, sans sequentialite superflue. Dans notre approche, nous specifions le comportement du systeme par l'enonce des proprietes d'un programme gamma et nous derivons un programme gamma qui satisfait ces proprietes. Nous transformons alors ce programme en un reseau de processus communicants. Ces processus sont des programmes gamma pouvant etre raffines pour les mettre en uvre sur une machine. Dans notre approche, nous prouvons formellement la correction de la transformation d'un programme en un reseau de processus


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (193 p.)
  • Annexes : 43 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1993/62
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : D 2. RUI.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.