Un Cadre Pour La Tragabiliti Des Motifs De Conception (french Edition) [Paperback]

Les patrons de conception sont importants en g?nie logiciel ? objets car ils contribuent ? la qualit? des programmes. Ils proposent des motifs de conception, solutions ?l?gantes ? des probl?mes r?currents de conception. ? l'usage, ces motifs sont diss?min?s dans le code et ne sont plus explicites lors de la maintenance; pourtant, ils aideraient ? comprendre l'implantation et la conception des programmes, assurant leur qualit?. Ce livre d?crit une approache pour la tra?abilit? de ces motifs. La m?tamod?lisation est utilis?e pour d?crire les motifs et les programmes Java. Elle am?ne ? expliciter certaines relations interclasses pour les identifier par analyses statiques et dynamiques. Elle conduit ? traduire les motifs en syst?mes de contraintes et ? identifier les micro-architectures similaires par la r?solution de probl?mes de satisfaction de contraintes. La programmation par contraintes avec explications permet de guider la r?solution et d'expliquer les micro-architectures identifi?es. La suite d'outils Ptidej implante l'approche. Elle inclut le m?tamod?le PADL, des outils d'analyses statiques et dynamiques et un solveur de contraintes.