Abstract FR:

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.