Abstract FR:

Des avancées technologies ont pour but de remettre au niveau contrôlable de la complexité croissante de développement logiciel. D'après ces avancées, il semblait que l'effort de la communauté de développement logiciel se converge vers les moyens de transformations entre des expression haut niveau d'une solution et son implantation concrète. Cette thèse vise à étudier cette correspondance entre l'expression d'une solution conceptuelle et sa transformation vers une implantation donnée. Pour atteindre ce but, elle présente une approche systématique pour diviser le processus de réalisation d'un programmeur entre la conception et l'implantation. L'idée est mise en oeuvre dans l'outil de méta-modélisation UMLAUT qui se présente comme un méta-canevas d'application. Grâce à l'assemblage d'opérateurs de transformation de l'outil, il est possible de concevoir et de construire un outil adapté pour la mise en correspondance entre la solution et son implantation.