Un cadre pour la traçabilité des motifs de conception

Audience : Adulte - Grand Public

Le Pitch

Littérature française

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 approche 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. Afficher moinsAfficher plus

Détails du livre

Titre complet

Un cadre pour la traçabilité des motifs de conception: A framework for design motif traceability

Auteur

Editeur

Format

Broché

Publication

06 juillet 2010

Audience

Adulte - Grand Public

Pages

Taille

22.9 x 15.2 x 2 cm

Poids

ISBN-13

9786131509506

Un cadre pour la traçabilité des motifs de conception

98,00 €

Le Pitch

Littérature française

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 approche 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. Afficher moinsAfficher plus