Spécification et mise en oeuvre d'un formalisme de règles métier. Thèse spécialité informatique, présentée à l'université Bordeaux 1, le 10 décembre 2007. - Université Bordeaux 1, 2007. - ( Thèse - Bordeaux 1 ; 3507).