Abstract FR:

Après une longue hégémonie des langages procéduraux, la programmation orientée-objet s'impose progressivement comme la technologie d'excellence pour le génie logiciel. Le développement de telles applications reste cependant délicat, tant les problèmes traités peuvent être complexes et hétérogènes, et les langages de programmation orientée-objet parfois mal appropriés. De nouveaux outils et de nouvelles méthodes d'aide au développement sont régulièrement proposés, ainsi que des langages de plus en plus ouverts et performants. Cette thèse s'inscrit dans le cadre de la spécifification et de la compilation de CLAIRE, un langage de programmation orientée-objet de haut niveau, offrant des objets réflexifs, des types étendus, des fonctions paramétriques et polymorphes, des ensemnles concrets et abstraits, des règles de production et des primitives pour le raisonnement hypothétique. Ce langage, plus spécialement dédié à l'écriture d'algorithmes hybrides pour les problèmes d'optimisation combinatoire, vient avec un environnement de programmation complet réconciliant expresivité et efficacité. CLAIRE étant une plate-forme de développement amenée à évoluer, une nouvelle version est proposée avec des collections originales, un riche système de types permettant un typage fort, sûr et flexible, et la possibilité de générer des programmes Java lisibles et maintenables. De plus, un outil de calculs statiques de métriques permet d'établir la qualité des applications CLAIRE, d'identifier leurs faiblesses et de visualiser graphiquement les améliorations réalisées au cours des différentes versions. La combinaison entre la nouvelle plate-forme et l'outil de mesures de qualité assure une plus grande maîtrise des développements en CLAIRE.