A. J. Chambers-c and N. D. , Connecting Software Architecture to Implementation, Proceedings of the 22rd International Conference on Software Engineering (ICSE'02), pp.187-197, 2002.

. L. Bass, . Clements-p, and . Kazman-r, Software Architecture in Practice, 3 e édition, pp.2012-2057

. A. Blewitt, . Bundy-a, and . Stark-i, « Automatic verification of design patterns in Java, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE'05), ACM, 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

. C. Briand-l, . Labiche-y, . Di-penta-m, and . D. Yan-bondoc-h, An experimental investigation of formality in UML-based development, IEEE Transactions on Software Engineering, vol.31, issue.10, pp.833-849, 2005.
DOI : 10.1109/TSE.2005.105

B. E. Thierry-c, . Leclercq-m, . Quéma-v, 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.

C. S. Gottlob-g and . Tanca-l, « 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.

. Cho, . A. Chowdhury, and . Meyers-s, « Facilitating Software Maintenance by Automated Detection of Constraint Violations, Proceedings of the International Conference on Software Maintenance (ICSM'93, pp.262-271, 1993.

E. M. and K. S. Klose-k, Defining and continuous checking of structural program dependencies, Proceedings of the 30th international conference on Software engineering (ICSE'08), ACM, pp.391-400, 2008.

L. Fabresse, . Dony-c, and . Huchard-m, 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

F. D. , C. G. Kazman-r, and . Kruchten-p, « Decision-making techniques for software architecture design: A comparative survey, ACM Computing Surveys (CSUR), vol.43, issue.33, pp.1-3328, 2011.

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

A. D. Garlan and O. J. , « Exploiting Style in Architectural Design Environments, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.175-188, 1994.

M. D. Garlan and W. D. , Architectural Description of Component-Based Systems, Foundations of Component-Based Systems, pp.47-68, 2000.

G. O. Gil and H. J. , « Expressing and enforcing user-defined constraints of AADL models, Proceedings of the 5th UML and AADL Workshop (UML and AADL 2010), 2010.

H. N. and A. P. Zdun-u, « Using Patterns to Capture Architectural Decisions, pp.38-45, 2007.

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

. D. Hou and . Hoover-h, 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 . Bosch-j, 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

K. N. Klarlund and . I. Schwartzbach-m, « Formal Design Constraints, Proceedings of the 11th ACM SIGPLAN conference on Object-Oriented Programming , Systems, Languages, and Applications, pp.370-383, 1996.

C. P. Kruchten and D. J. , 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

. N. Medvidovic, R. J. Oreizy-p, and T. R. , « 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 T. N. , 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, R. S. Rosenblum-d, and R. J. , Modeling software architectures in the Unified Modeling Language, Modeling Software Architectures in the Unified Modeling Language, pp.2-57, 2002.
DOI : 10.1145/504087.504088

M. N. Law, Governed Regularities in Object Systems. Part I: An Abstract Model, Theory and Practice of Object Systems, pp.283-301, 1996.

M. N. Pratim and . Law, Governed Regularities in Object Systems. Part II: a Concrete Implementation, Theory and Practice of Object Systems, pp.87-101, 1997.

. M. Moriconi and R. R. Qian-x, Correct architecture refinement, Correct Architecture Refinement, pp.356-372, 1995.
DOI : 10.1109/32.385972

. Omg, C. Uml-profile-for, and C. Components, Version 1.0 Specification, Document formal/08-04-07, Object Management Group Web Site: www.omg.org/spec, 2008.

S. J. Seco and . Piriquito-m, Component J: A component-based programming language with dynamic reconfiguration, Computer Science and Information Systems, vol.5, issue.2, pp.65-86, 2008.
DOI : 10.2298/CSIS0802063S

S. M. Garlan-d, Software Architecture: Perspectives on an Emerging Discipline, 1996.

S. P. Dony-c, . Tibermacine-c, and . Fabresse-l, « 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.

A. Tang, . A. Babar-m, and H. J. Gorton-i, 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 and H. J. Vasa-r, 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

T. R. De-oliveira-valente-m, « A dependency constraint language to manage object-oriented software architectures », Software Practice and Experience, pp.1073-1094, 2009.

. C. Tibermacine, . Fleurquin-r, . Sadou-s, and . On, On-Demand Quality-Oriented Assistance in Component-Based Software Evolution, Proceedings of the 9th ACM SIG- SOFT 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, . Fleurquin-r, and . Sadou-s, « Simplifying Transformations of Architectural Constraints Track on Model Transformation, Proceedings of the ACM Symposium on Applied Computing (SAC'06), pp.1240-1244, 2006.

T. C. Fleurquin-r and . Sadou-s, « A Family of Languages for Architecture Constraint Specification, Journal of Systems and Software (JSS), pp.815-831, 2010.

T. C. Sadou-s, . Dony-c, and . Fabresse-l, « Component-based specification of software architecture constraints, Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering (CBSE'11), ACM, pp.31-40, 2011.

T. J. Akerman-a, « Architecture Decisions: Demystifying Architecture, IEEE Software, vol.22, issue.2, pp.19-27, 2005.