Abstract FR:

La maintenance des systemes logiciel est l'un des points critiques du cycle de vie d'un logiciel. La duree de vie de ces logiciels a augmente ainsi que leur complexite due a des mises a jours successives, soit pour corriger des bugs ou soit pour ajouter de nouvelles fonctionnalites. Les problemes de l'an 2000 et du passage a l'euro sont deux exemples concrets de maintenance de logiciel. La taille et la complexite de ces systemes logiciel rendent leur maintenance couteuse et hasardeuse si elle n'est pas automatisee. Les systemes de transformation de programmes, cantones jusqu'ici dans des applications de synthese de programmes, semblent adaptes pour repondre a ces nouveaux besoins. Dans cette optique, nous proposons trfl un langage de transformation de programmes qui contribue a resoudre certains problemes lies a la maintenance, en particulier la restructuration de code, le portage vers de nouvelles architectures et la documentation de code. Il s'agit d'un langage declaratif base sur des regles de reecriture. Nous specifions formellement ce langage en donnant sa syntaxe, sa semantique statique et sa semantique dynamique. Nous presentons les deux prototypes realises et l'environnement comprenant differents outils facilitant la mise en uvre des transformations. Nous evaluons les qualites et faiblesses ainsi que les performances de ce nouveau langage.