Abstract FR:

L'objectif de cette these est d'etudier les modeles d'execution de la maintenance du logiciel, de concevoir une methode et un outil d'aide a la comprehension de programmes utilisant en particulier la simplification par specialisation, et de valider les resultats au travers d'exemples issus de reelles applications scientifiques ecrites en fortran. Nous avons utilise l'evaluation partielle (ou specialisation de programmes en fonction de proprietes de leurs donnees d'entree) pour des programmes difficiles a maintenir car trop generaux. A partir d'un programme fortran initial et de valeurs particulieres de certaines de ces donnees d'entree, l'outil fournit -entierement automatiquement- un programme simplifie qui se comporte comme le programme initial pour les valeurs particulieres. Ces programmes sont obtenus en propageant les valeurs constantes et en simplifiant le code. Cette technique aide le mainteneur a comprendre le comportement d'un programme dans un contexte particulier. Concernant son apport scientifique, la technique employee n'est pas nouvelle, mais la maniere dont nous l'avons utilisee (pour l'aide a la comprehension), specifie (en semantique naturelle), prouvee (par induction) et implantee (dans l'environnement centaur) est a notre connaissance originale