Abstract FR:

Pour controler rigoureusement un developpement logiciel et assister efficacement les developpeurs, nous nous appuyons sur la technologie du procede de developpement. Le procede est decrit dans un formalisme executable, exploite par un agl-p (atelier de genie logiciel centre procedes). Notre approche repose sur une classification des activites de developpement. Les activites constructives, decrites en pbool, decrivent l'elaboration des composants du systeme. Les activites de controle constituent le noyau d'execution de rhodes, notre agl-p. Le langage pbool utilise les techniques objets - heritage de module, sous-typage et polymorphisme - pour modeliser les procedes suivant cinq aspects : les activites constructives, les produits qu'elles utilisent, les tactiques possibles pour realiser une activite, les roles requis pour faire une activite ou appliquer une tactique et les strategies qui structurent les differentes tactiques. Pbool utilise les techniques formelles pour decrire les besoins et objectifs d'une activite au moyen d'assertions qui permettent d'affiner la relation de precedence entre activites, de verifier la coherence des produits du developpement et sont exploitees pour aider les developpeurs a resoudre les incoherences detectees. Le noyau d'execution decrit les activites de controle sous la forme de regles d'execution et d'operateurs de developpement permettant de construire le developpement (decomposer les activites, les realiser, etc. ), de remettre en cause les resultats d'une activite (faire des iterations dans le developpement, corriger des erreurs, etc. ), de cooperer avec d'autres developpeurs, etc. Cette separation entre pbool et le noyau d'execution permet d'avoir une description plus simple du procede qui favorise sa reutilisation et son extensibilite (et permet donc la capitalisation de l'experience). Un prototype a ete developpe en eiffel et des experimentations menees avec la methode d'analyse / conception decentralisee vboom.