. Albin-amiot, . Hervé, and . Guéhéneuc, Meta-Modeling Design Patterns: Application to Pattern Detection and Code Synthesis, proceedings of ECOOP Workshop on Automating Object-Oriented Software Development Methods, 2001.

R. Allen, A Formal Approach to Software Architecture, 1997.

L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice, 2nd Edition. SEI Series in SW Eng, 2003.

L. C. Briand, Y. Labiche, D. Penta, M. , and Y. , Han (Daphne): An Experimental Investigation of Formality in UML-Based Development, IEEE Transactions on Software Engineering, pp.833-849, 2005.

A. D. Brucker, . Wolff, and . Burkhart, Checking OCL Constraints in Distributed Systems Using J2EE/EJB, pp.1-46, 2001.

E. Bruneton, . Coupaye, . Thierry, M. Leclercq, V. Quéma et al., An Open Component Model and Its Support in Java, Proceedings of the International Symposium on Component-Based Software Engineering (CBSE'04), 2004.
DOI : 10.1007/978-3-540-24774-6_3

E. M. Dashofy, . Van-der-hoek, . André, and R. N. Taylor, A comprehensive approach for the development of modular software architecture description languages, ACM Transactions on Software Engineering and Methodology, vol.14, issue.2, pp.199-245, 2005.
DOI : 10.1145/1061254.1061258

. De-boer, C. Remco, R. Farenhorst, P. Lago, . Van-vliet et al., Anton: Architectural Knowledge: Getting to the Core. A book chapter, Software Architectures, Components, and Applications. Springer LNCS, pp.197-214, 2008.

. Technische-universitat-dresden, OCL Compiler web site, 2002.

L. Fabresse, C. Dony, and M. Huchard, Foundations of a simple and unified component-oriented language, Computer Languages, Systems & Structures, vol.34, issue.2-3, pp.2-3, 2008.
DOI : 10.1016/j.cl.2007.05.002
URL : https://hal.archives-ouvertes.fr/lirmm-00175781

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

D. Garlan, A. , R. Ockerbloom, and J. , Exploiting Style in Architectural Design Environments, proceedings of the SIGSOFT Symposium on the Foundations of Software Engineering, pp.175-188, 1994.

D. Garlan, M. , R. T. Wile, and D. , Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 2000.
DOI : 10.1145/1925805.1925814

I. and A. Std, Recommended Practice for Architectural Description of Software-Intensive Systems, 1471.

A. Jansen and . Bosch, Software Architecture as a Set of Architectural Design Decisions, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), 2005.
DOI : 10.1109/WICSA.2005.61

M. Kandé, . Mancona, and . Strohmeier, Alfred: Towards a UML Profile for Software Architecture Descriptions, proceedings of UML'2000 - The Third International Conference on the Unified Modeling Language: Advancing the Standard, 2000.

A. Karahasanovic, A. Levine, . Kristin, and R. Thomas, Comprehension strategies and difficulties in maintaining objectoriented systems: An explorative study, Journal of Systems and Software Volume, pp.1541-1559, 2007.

P. Krutchen, An Ontology of Architectural Design Decisions in Software Intensive Systems, Proceedings of the 2nd Groningen Workshop Software Variability, pp.54-61, 2004.

P. Kruchten, . Obbink, . Henk, and J. Stafford, The Past, Present, and Future for Software Architecture, IEEE Software, pp.22-30, 2006.
DOI : 10.1109/MS.2006.59

P. Lago and V. Vliet, Hans: Explicit Assumptions enrich Architectural Models, Proceedings of the 27th International Conference on Software Engineering (ICSE'05), pp.206-214, 2005.

L. Guennec, A. Sunyé, . Gerson, and J. Jézéquel, Precise Modeling of Design Patterns, proceedings of the third International Conference on the Unified Modeling Language, 2000.
DOI : 10.1007/3-540-40011-7_35
URL : https://hal.archives-ouvertes.fr/hal-00794308

L. Lee and P. Kruchten, A Tool to Visualize Architectural Design Decisions, Proceedings of the Fourth International Conference on the Quality of Software Architectures (QoSA'08), pp.43-54, 2008.
DOI : 10.1007/978-3-540-87879-7_3

D. C. Luckham, J. L. Kenney, L. M. Augustin, J. Vera, D. Bryan et al., Specification and analysis of system architecture using Rapide, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.336-355, 1995.
DOI : 10.1109/32.385971

J. Magee and J. Kramer, Dynamic Structure in Software Architectures, proceedings of the fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, pp.3-14, 1996.

N. Medvidovic, Architecture-Based Specification-Time Software Evolution. PhD thesis of the University of California, 1999.

N. Medvidovic and N. R. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

N. Medvidovic, D. S. Rosenblum, D. F. Redmiles, and J. E. Robbins, Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology, vol.11, issue.1, pp.2-57, 2002.
DOI : 10.1145/504087.504088

. Microsoft, COM: Component Object Model Technologies Microsoft Web Site, 2005.

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

H. Mili, Ghizlaine: Representing and Applying Design Patterns: What is the Problem, proceedings of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005.

R. T. Monroe, Capturing Software Architecture Design Expertise with Armani, 2001.

M. Moriconi, . Qian, . Xiaolei, and R. A. Riemenschneider, Correct architecture refinement, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.356-372, 1995.
DOI : 10.1109/32.385972

M. Object and . Group, Unified Modeling Language: Superstructure, version 2.1.1, formal/2007-02-03. Object Management Group Web Site, 2007.

M. Object and . Group, Meta Object Facility (MOF) 2.0 Final Adopted Specification, Document ptc/03-10-04. Object Management Group Web Site, 2003.

R. Roshandel, . Schmerl, . Bradley, . Medvidovic, . Nenad et al., Understanding tradeoffs among different architectural modeling approaches, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pp.47-56, 2004.
DOI : 10.1109/WICSA.2004.1310689

M. Shaw, R. Deline, D. V. Klein, T. L. Ross, D. M. Young et al., Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.314-335, 1995.
DOI : 10.1109/32.385970

M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, 1996.

M. Shaw and P. Clements, The golden age of software architecture, IEEE Software, pp.31-39, 2006.
DOI : 10.1109/MS.2006.58

. Sun-microsystems, Enterprise JavaBeans(TM) Specification, version 2.1. Sun-Microsystems Web Site, 2003.

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 2002.

T. Taibi and N. Ling, Formal Specification of Design Patterns - A Balanced Approach., The Journal of Object Technology, vol.2, issue.4, 2003.
DOI : 10.5381/jot.2003.2.4.a4

E. Teiniker, R. Lechner, . Schmoelzer, . Gernot, C. Kreiner et al., Towards a Contract Aware CORBA Component Container, 29th Annual International Computer Software and Applications Conference (COMPSAC'05), pp.545-550, 2005.
DOI : 10.1109/COMPSAC.2005.155

C. Tibermacine, R. Fleurquin, and S. Sadou, Preserving Architectural Choices throughout the Component-based Software Development Process, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), pp.121-130, 2005.
DOI : 10.1109/WICSA.2005.52
URL : https://hal.archives-ouvertes.fr/hal-00498776

C. Tibermacine, R. Fleurquin, and S. , Salah: NFRs- Aware Architectural Evolution of Component-based Software, proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE'05), pp.388-391, 2005.

C. Tibermacine, R. Fleurquin, and S. Sadou, Simplifying Transformations of Architectural Constraints, Proceedings of the ACM Symposium on Applied Computing (SAC'06), Track on Model Transformation, pp.1240-1244, 2006.

C. Tibermacine, R. Fleurquin, and S. , Salah: On- Demand Quality-Oriented Assistance in Component-Based Software Evolution, Proceedings of the 9th ACM SIGSOFT International Symposium on Component-Based Software Engineering (CBSE'06), pp.294-309, 2006.

J. Tyree and A. Akerman, Architecture Decisions: Demystifying Architecture, IEEE Software, vol.22, issue.2, pp.19-27, 2005.
DOI : 10.1109/MS.2005.27

R. Van-ommering, . Van-der-linden, . Frank, J. Kramer, and J. Magee, The Koala Component Model for Consumer Electronics Software, IEEE Computer, pp.78-85, 2000.