J. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.187-197, 2002.
DOI : 10.1145/581339.581365

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

L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice, 2012.

A. Blewitt, A. Bundy, and I. Stark, Automatic verification of design patterns in java, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE'05), pp.224-232, 2005.

B. Bokowsky and . Coffeestrainer, CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java, Proceedings of the 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE), pp.355-374, 1999.
DOI : 10.1007/3-540-48166-4_22

J. Bosch, Software Architecture: The Next Step, Proceedings of the 1st European Workshop on Software Architecture, pp.194-199, 2004.
DOI : 10.1007/978-3-540-24769-2_14

L. C. Briand and Y. Labiche, Massimiliano Di Penta, and Han (Daphne) Yan-Bondoc. An experimental investigation of formality in uml-based development, IEEE Transactions on Software Engineering, issue.10, pp.31833-849, 2005.

E. Bruneton, C. Thierry, M. Leclercq, V. Quéma, and S. Jean-bernard, An Open Component Model and Its Support in Java, Proceedings of the ACM SIGSOFT International Symposium on Component-based Software Engineering (CBSE'04). Held in conjunction with ICSE'04, 2004.
DOI : 10.1007/978-3-540-24774-6_3

S. Ceri, G. Gottlob, and L. Tanca, What you always wanted to know about Datalog (and never dared to ask), IEEE Transactions on Knowledge and Data Engineering, vol.1, issue.1, pp.146-166, 1989.
DOI : 10.1109/69.43410

A. Chowdhury and S. Meyers, Facilitating software maintenance by automated detection of constraint violations, 1993 Conference on Software Maintenance, pp.262-271, 1993.
DOI : 10.1109/ICSM.1993.366936

P. Clements, R. Kazman, and M. Klein, Evaluating Software Architectures, Methods and Case Studies, 2002.

C. Remco, R. De-boer, and . Farenhorst, In search of 'architectural knowledge, Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge, SHARK'08, pp.71-78, 2008.

M. Eichberg, S. Kloppenburg, K. Klose, and M. Mezini, Defining and continuous checking of structural program dependencies, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.391-400, 2008.
DOI : 10.1145/1368088.1368142

T. Erl, SOA Design Patterns, 2009.

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-3130, 2008.
DOI : 10.1016/j.cl.2007.05.002
URL : https://hal.archives-ouvertes.fr/lirmm-00175781

D. Falessi, G. Cantone, R. Kazman, and P. Kruchten, Decision-making techniques for software architecture design, ACM Computing Surveys, vol.43, issue.4, pp.1-3328, 2011.
DOI : 10.1145/1978802.1978812

H. Peter, D. P. Feiler, and . Gluch, Model-Based Engineering with AADL : An Introduction to the SAE Architecture Analysis & Design Language, 2012.

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

D. Garlan, R. Allen, and J. Ockerbloom, Exploiting style in architectural design environments, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.175-188, 1994.

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

O. Gilles and J. Hugues, Expressing and Enforcing User-Defined Constraints of AADL Models, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010.
DOI : 10.1109/ICECCS.2010.26

N. Harrison, P. Avgeriou, and U. Zdun, Using patterns to capture architectural decisions. Software, IEEE, vol.24, issue.4, pp.38-45, 2007.

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

D. Hou and H. J. Hoover, Using SCL to specify and check design intent in source code, IEEE Transactions on Software Engineering, vol.32, issue.6, pp.404-423, 2006.
DOI : 10.1109/TSE.2006.60

A. Jansen and J. 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

N. Klarlund, J. Koistinen, and M. I. Schwartzbach, Formal design constraints, Proceedings of the 11th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.370-383, 1996.

P. Kruchten, R. Capilla, and J. C. Duenas, The Decision View's Role in Software Architecture Practice, IEEE Software, vol.26, issue.2, pp.36-42, 2009.
DOI : 10.1109/MS.2009.52

C. David, J. L. Luckham, L. M. Kenney, J. Augustin, D. Vera et al., Specification and analysis of system architecture using rapide, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.336-355, 1995.

N. Medvidovic, P. Oreizy, J. E. Robbins, and R. N. Taylor, Using object-oriented typing to support architectural desing in the c2 style, Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'96), pp.24-32, 1996.

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

H. Naftaly and . Minsky, Law-governed regularities in object systems. part i : An abstract model. Theory and Practice of Object Systems, pp.283-301, 1996.

H. Naftaly, P. P. Minsky, and . Pal, Law-governed regularities in object systems. part ii : a concrete implementation, Theory and Practice of Object Systems, vol.3, issue.2, pp.87-101, 1997.

R. T. Monroe, Capturing software architecture design expertise with armani, 2001.

M. Moriconi, X. Qian, 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. Moriconi and R. A. Riemenschneider, Introduction to sadl 1.0 : A language for specifying software architecture hierarchies, 1997.

T. Reenskaug, Thing-model-view-editor an example from a planning system, 1979.

J. C. Seco, R. Silva, and M. Piriquito, Componentj : A component-based programming language with dynamic reconfiguration, Computer Science and Information Systems, vol.12, issue.02, pp.565-86, 2008.

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

P. Spacek, Design and Implementation of a Reflective Component-Oriented Programming and Modeling Language, 2013.

P. Spacek, C. Dony, C. Tibermacine, and L. Fabresse, An inheritance system for structural & behavioral reuse in component-based software programming, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, 2012.
DOI : 10.1145/2371401.2371411
URL : https://hal.archives-ouvertes.fr/lirmm-00806830

A. Tang, M. A. Babar, I. Gorton, and J. Han, A Survey of the Use and Documentation of Architecture Design Rationale, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), 2005.
DOI : 10.1109/WICSA.2005.7

A. Tang, J. Han, and R. Vasa, Software Architecture Design Reasoning: A Case for Improved Methodology Support, IEEE Software, vol.26, issue.2, pp.43-49, 2009.
DOI : 10.1109/MS.2009.46

R. Terra, M. Tulio-de-oliveira, and . Valente, A dependency constraint language to manage object-oriented software architectures. Software Practice and Experience, pp.1073-1094, 2009.

C. Tibermacine, R. Fleurquin, and S. Sadou, 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.
DOI : 10.1007/11783565_21
URL : https://hal.archives-ouvertes.fr/hal-00499531

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

C. Tibermacine, R. Fleurquin, and S. Sadou, A family of languages for architecture constraint specification, Journal of Systems and Software (JSS), pp.815-831, 2010.
DOI : 10.1016/j.jss.2009.11.736
URL : https://hal.archives-ouvertes.fr/hal-00498761

C. Tibermacine, S. Sadou, C. Dony, and L. Fabresse, Component-based specification of software architecture constraints, Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, CBSE '11, pp.31-40, 2011.
DOI : 10.1145/2000229.2000235
URL : https://hal.archives-ouvertes.fr/lirmm-00596332

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