P. S. Alencar, D. D. Cowan, and C. J. Lucena, A formal approach to architectural design patterns, FME'96: Industrial Benefit and Advances in Formal Methods, pp.576-594, 1996.
DOI : 10.1007/3-540-60973-3_108

R. S. Bird, An Introduction to the Theory of Lists, Logic of Programming and Calculi of Discrete Design, pp.3-42, 1987.
DOI : 10.1007/978-3-642-87374-4_1

G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, 1998.

J. Bosch, Language support for design patterns, TOOLS Europe'96, pp.197-210, 1996.

K. Brown, Design reverse-engineering and automated design patterns detection in Smalltalk, 1995.

F. J. Budinsky, M. A. Finnie, J. M. Vlissides, and P. S. Yu, Automatic code generation from design patterns, IBM Systems Journal, vol.35, issue.2, 1996.
DOI : 10.1147/sj.352.0151

H. Amnom and . Eden, Precise Specification of Design Patterns and Tool Support in Their Application, 1999.

H. Amnon, A. Eden, J. Yehudai, and . Gil, Patterns of the agenda, LSDF97: Workshop in conjunction with ECOOP'97, 1997.

G. Florijn, M. Meijers, and P. Van-winsen, Tool support for object-oriented patterns, Mehmet Ak¸sitAk¸sit and Satoshi Matsuoka ECOOP '97 ? Object-Oriented Programming 11th European Conference, pp.472-495, 1997.
DOI : 10.1007/BFb0053391

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software

M. Hakala, J. Hautamäki, J. Tuomi, A. Viljamaa, and J. Voljamaa, Pattern-Oriented Framework Engineering Using FRED, ECOOP '98? Workshop reader on Object-Oriented Technology, pp.105-109, 1998.
DOI : 10.1007/3-540-49255-0_18

J. Jézéquel and W. M. Ho, Alain Le Guennec, and François Pennaneac'h. UMLAUT: an extendible UML transformation framework, Proc. of the 14th IEEE International Conference on Automated Software Engineering, ASE'99, 1999.

J. Jung, K. M. Kim, and . Benner, A design patterns experience: Lessons learned and tool support, Position Paper, Workshop on Patterns, ECOOP'95, 1995.

C. Krämer and L. Prechelt, Design recovery by automated search for structural design patterns in object-oriented software, Proceedings of WCRE '96: 4rd Working Conference on Reverse Engineering, 1996.
DOI : 10.1109/WCRE.1996.558905

A. Lauder and S. Kent, Precise visual specification of design patterns, ECOOP '98?Object-Oriented Programming, pp.114-134, 1998.
DOI : 10.1007/BFb0054089

M. Meijers, Tool Support for Object-Oriented Design Patterns, 1996.

T. Mikkonen, Formalizing design patterns, Proceedings of the 20th International Conference on Software Engineering, pp.115-124, 1998.
DOI : 10.1109/ICSE.1998.671108

F. William and . Opdyke, Refactoring Object-Oriented Frameworks, 1992.

G. Gunnar¨overgaard, A formal approach to collaborations in the unified modeling language99 -The Unified Modeling Language, Beyond the Standard. Second International Conference Proceedings, volume 1723, 1999.

S. Ramakrishnan and J. Mcgregor, Extending OCL to support temporal operators, Proceedings of the 21st International Conference on Software Engineering (ICSE99) Workshop on Testing Distributed Component-Based Systems (WM3), 1999.

D. Roberts, Practical Analysis for Refactoring, 1999.

D. Roberts, J. Brant, and R. Johnson, A refactoring tool for Smalltalk, Theory and Practice of Object Systems, vol.3, issue.4, 1997.

D. Roberts, J. Brant, and R. Johnson, A refactoring tool for Smalltalk why every Smalltalker should use the Refactoring Browser, The Smalltalk Report, vol.14, issue.10, pp.4-11, 1997.

U. Rtf and . Omg, Unified Modeling Language Specification, Version 1.3, UML RTF proposed final revision. OMG, 1999.

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 1998.

J. Soukup, Implementing patterns, Pattern Languages of Program Design, pp.395-412, 1995.

G. Sunyé, Génération de codè a l'aide de patrons de conception, Langages et ModèlesModèlesà Objets -LMO'99, pp.163-178, 1999.

J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling with UML, 1998.