Vers une démarche de développement logiciel à base de langages dédiés

La Programmation Orient e Langage est un paradigme de programmation dans lequel le d veloppement de logiciels passe par la conception de langages d di s (DSL). On d finit un ou plusieurs langages qui capturent les caract ristiques du domaine tudi , puis on crit les applications vis es en utilisant ces langages. Dans cet ouvrage, nous proposons une d marche m thodologique de d veloppement logiciel reposant sur ce concept. Il s'agit de conduire la m me d marche au niveau des langages que ce qui est classiquement fait au niveau des composants: comment peut-on cr er de nouveaux langages par composition de langages r utilisables existants? Nous utilisons le formalisme des grammaires attribu es pour aborder la question. Nous tirons profit de leur traduction en alg bres de combinateurs fonctionnels pour d finir des sp cifications ex cutables de langages d di s (vus comme composants logiciels) plong s dans le langage fonctionnel pur Haskell. A partir d'exemples significatifs de conception et d'extension de DSL, nous proposons un typage de ceux-ci en vue de leur assemblage et leur r utilisation. Pour illustrer cette d marche, nous d crivons un DSL pour l' dition de documents structur s.