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. ,
Pattern-Oriented Software Architecture, 2007. ,
UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.547-548, 2007. ,
DOI : 10.1145/1321631.1321737
Enterprise Service Bus: Theory in Practice. O'Reilly Media, 2004. ,
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language, Model Driven Engineering Languages and Systems, pp.665-669, 2009. ,
DOI : 10.5381/jot.2005.4.9.a1
Refactoring to improve the understandability of specifications written in object constraint language, IET Software, vol.3, issue.2, pp.69-90, 2009. ,
DOI : 10.1049/iet-sen.2008.0022
The dresden ocl toolkit and its role in information systems development, ISD2004, 2004. ,
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
What price reusability?: a case study, ACM SIGAda Ada Letters ,
A CSP Approach for Metamodel Instantiation, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, p.1044, 1051. ,
DOI : 10.1109/ICTAI.2013.156
URL : https://hal.archives-ouvertes.fr/lirmm-01007571
Software reuse: metrics and models, ACM Computing Surveys, vol.28, issue.2, 1996. ,
DOI : 10.1145/234528.234531
Software reusekey to enhanced productivity: some quantitative models, Information and Software Technology, issue.5, p.31 ,
Design patterns: Elements of Reusable Object-Oriented Software, 1994. ,
Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 2000. ,
DOI : 10.1145/1925805.1925814
Adapting ocl constraints after a refactoring of their model using an mde process, BElgian-NEtherlands software eVOLution seminar, pp.16-27, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00664877
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
Formal design constraints, Proceedings of the 11th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.370-383, 1996. ,
Touch of Class, 2013. ,
DOI : 10.1007/978-3-540-92145-5
Capturing software architecture design expertise with armani, 2001. ,
UML in practice, 2013 35th International Conference on Software Engineering (ICSE), pp.722-731, 2013. ,
DOI : 10.1109/ICSE.2013.6606618
Tool supported OCL refactoring catalogue, Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL '12, pp.7-12, 2012. ,
DOI : 10.1145/2428516.2428518
Software Architecture: Perspectives on an Emerging Discipline, 1996. ,
The Tree-to-Tree Correction Problem, Journal of the ACM, vol.26, issue.3, pp.422-433 ,
DOI : 10.1145/322139.322143
On-demand qualityoriented assistance in component-based software evolution, Proceedings of the 9th ACM SIGSOFT International Symposium on Component-Based Software Engineering (CBSE'06), 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00499531
Simplifying transformations of architectural constraints, Proceedings of the ACM Symposium on Applied Computing (SAC'06), Track on Model Transformation, 2006. ,
Component-based specification of software architecture constraints, Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, CBSE '11, 2011. ,
DOI : 10.1145/2000229.2000235
URL : https://hal.archives-ouvertes.fr/lirmm-00596332
Catalogue of architectural patterns characterized by constraint components, Version 1.0, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00844514
A catalog of architectural primitives for modeling architectural patterns, Information and Software Technology, vol.50, issue.9-10, 2008. ,
DOI : 10.1016/j.infsof.2007.09.003