Software Architecture as a Set of Architectural Design Decisions, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), pp.109-120, 2005. ,
DOI : 10.1109/WICSA.2005.61
Design Patterns: Elements of Reusable Object-Oriented Sofware, 1995. ,
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
Eiffel: The Language, 1992. ,
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
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
A Classification Framework for Software Component Models, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.593-615, 2011. ,
DOI : 10.1109/TSE.2010.83
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
Software Architecture: Perspectives on an Emerging Discipline, 1996. ,
Enterprise Service Bus: Theory in Practice, 2004. ,
Architectural patterns revisited a pattern language, 10th European Conference on Pattern Languages of Programs, pp.1-39, 2005. ,
Software reuse: metrics and models, ACM Computing Surveys, vol.28, issue.2, pp.415-435, 1996. ,
DOI : 10.1145/234528.234531
Software reuse???key to enhanced productivity: some quantitative models, Information and Software Technology, vol.31, issue.5, pp.258-267, 1989. ,
DOI : 10.1016/0950-5849(89)90005-0
A catalog of architectural primitives for modeling architectural patterns, Information and Software Technology, vol.50, issue.9-10, pp.1003-1034, 2008. ,
DOI : 10.1016/j.infsof.2007.09.003
Catalogue of architectural patterns characterized by constraint components, version 1.0, Tech. rep, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00844514
What price reusability?: A case study, ACM SIGAda Ada Letters XI, issue.3, pp.115-124, 1991. ,
Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 2000. ,
DOI : 10.1145/1925805.1925814
Exploiting style in architectural design environments, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.175-188, 1994. ,
A formal approach to software architecture, 1997. ,
Correct architecture refinement, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.356-372, 1995. ,
DOI : 10.1109/32.385972
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.9620
Introduction to sadl 1.0: A language for specifying software architecture hierarchies, 1997. ,
Capturing software architecture design expertise with armani, Tech. rep, 2001. ,
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, pp.7-22, 2004. ,
DOI : 10.1007/978-3-540-24774-6_3
Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 2012. ,
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
Modeling Architectural Patterns??? Behavior Using Architectural Primitives, Software Architecture, pp.164-179, 2008. ,
DOI : 10.1007/978-3-540-88030-1_13
Preserving architectural pattern composition information through explicit merging operators, Future Generation Computer Systems, vol.47, pp.1-32, 2014. ,
DOI : 10.1016/j.future.2014.09.002
URL : https://hal.archives-ouvertes.fr/hal-01102209
CoffeeStrainer, Proceedings of the 7th European Software Engineering Conference held jointly with the 7th ACM SIG- SOFT International Symposium on Foundations of Software Engineering, pp.355-374, 1999. ,
DOI : 10.1145/318774.319253
Facilitating software maintenance by automated detection of constraint violations, 1993 Conference on Software Maintenance, pp.262-271, 1993. ,
DOI : 10.1109/ICSM.1993.366936
Formal design constraints, Proceedings of the 11th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.370-383, 1996. ,
A dependency constraint language to manage object-oriented software architectures, Software Practice and Experience, pp.1073-1094, 2009. ,
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
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
Law-governed regularities in object systems. Part 1: An abstract model, Theory and Practice of Object Systems, pp.283-301, 1996. ,
DOI : 10.1002/(SICI)1096-9942(1996)2:4<283::AID-TAPO4>3.0.CO;2-V
Law-governed regularities in object systems. Part 2: A concrete implementation, Theory and Practice of Object Systems, vol.3, issue.2, pp.87-101, 1997. ,
DOI : 10.1002/(SICI)1096-9942(1997)3:2<87::AID-TAPO2>3.0.CO;2-4
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. ,
Modular specification and checking of structural dependencies, Proceedings of the 12th annual international conference on Aspect-oriented software development (AOSD'13), pp.85-96, 2013. ,
Simplifying Transformations of OCL Constraints, Proceedings of the 8th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS/UML 2005), pp.309-323, 2005. ,
DOI : 10.1007/11557432_23
A Library of OCL Specification Patterns for Behavioral Specification of Software Components, Proceedings of the 18th International Conference Advanced Information Systems Engineering (CAiSE'06), pp.255-269, 2006. ,
DOI : 10.1007/11767138_18
Formal description of ocl specification patterns for behavioral specification of software components, in: Workshop on Tool Support for OCL and Related Formalisms -Needs and Trends. Held in conjunction with MODELS'05, pp.15-29, 2005. ,
RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06), pp.308-314, 2005. ,
DOI : 10.1109/CIMCA.2005.1631486
Meta object facility (mof) 2.0 core specification, document ptc/04-10-15, OMG Web Site, 2004. ,
Open soa. service component architecture specifications, 2007. ,
A component-based meta-level architecture and prototypical implementation of a reflective componentoriented programming and modeling language, Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'14), pp.13-22, 2014. ,