Contribution à la construction d'un réseau de méthodes de spécification, de transformation et de programmation

par Nora Boulahia

Thèse de doctorat en Informatique

Sous la direction de Jean-Louis Durieux.

Soutenue en 1990

à Toulouse, ENSAE .


  • Résumé

    Le travail effectue dans cette thèse entre dans le cadre du projet TOOL-USE du programme ESPRIT. Ce projet vise à développer un environnement de programmation ou les méthodes de programmation jouent le rôle de paramètres de contrôle, introduits grâce a un langage d'expression de méthodes. On s'est donc intéressé a plusieurs méthodes classiques: VDM (vienna development method), TAD (types abstraits de données), les transformations de programmes, les types algébriques et les langages a objets. Les méthodes étudiées (mais ceci serait également vrai pour d'autres méthodes) ainsi que les méthodes de programmation et les programmes eux-mêmes présentent une similitude de structure. De plus, la dualité des unes par rapport aux autres font qu'on a jugé utile d'établir des passerelles entre ces méthodes, de construire un réseau méthodes. Chaque méthode est elle-même un réseau compose des maillons de base des méthodes. Le travail effectue sur la sémantique dénotationnelle et les spécifications algébriques a permis d'établir une première passerelle entre VDM et les types abstraits de données par le biais de règles de retranscription. Une autre passerelle a ensuite pu être établie entre le langage à objets Eiffel et les charmes, un type algébrique particulier, a travers une implantation de ce dernier en Eiffel. On s'est également intéressé aux techniques de transformation de programmes par inversion qui permettent de définir des passerelles internes a une méthode. Des schémas de programmes inversibles ont été dégagés et une méthode d'inversion a été définie.

  • Titre traduit

    Contribution to the design of a network of specification, transformation and programming methods


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (VI-189 p.)
  • Annexes : Bibliogr. p. 167-172

Où se trouve cette thèse\u00a0?