Integration de modules syndhrones dans la programmation par objets

par Frédéric Boulanger

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Vidal-Naquet.

Soutenue en 1993

à Paris 11 .

    mots clés mots clés


  • Résumé

    Nous presentons un modele et des outils permettant d'integrer des modules synchrones dans un langage a objets (c#+#+). Ce systeme permet d'appliquer une methodologie de developpement par objets a des applications faisant intervenir du code synchrone. Les modules synchrones, ecrits dans un langage synchrone, sont transformes automatiquement en classes c#+#+. Les instances de ces classes ont le meme comportement que les modules d'origine. Les proprietes verifiees sur ces modules grace aux outils de preuve de l'approche synchrone sont donc conservees. Les principaux problemes traites sont: la communication synchrone entre objets synchrones; la communication asynchrone entre objets synchrones et taches asynchrones; la dynamicite des objets synchrones et de leur interconnexion


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 145 P.
  • Annexes : 26 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011498
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.