Software Architecture: Perspectives on an Emerging Discipline, 1996. ,
A catalog of architectural primitives for modeling architectural patterns, Information and Software Technology, vol.50, issue.9-10 ,
DOI : 10.1016/j.infsof.2007.09.003
Design patterns: Elements of Reusable Object-Oriented Software, 1994. ,
Pattern-Oriented Software Architecture, On Patterns and Pattern Languages, vol.5, 2007. ,
On-Demand Quality-Oriented Assistance in Component-Based Software Evolution, Proceedings of CBSE'06, pp.294-309, 2006. ,
DOI : 10.1007/11783565_21
URL : https://hal.archives-ouvertes.fr/hal-00499531
Design rules: The power of modularity, 2000. ,
Design rule spaces: a new form of architecture insight, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.967-977, 2014. ,
DOI : 10.1145/2568225.2568241
Software architecture constraint reuse-by-composition, Future Generation Computer Systems, vol.61, pp.61-98, 2016. ,
DOI : 10.1016/j.future.2016.02.006
URL : https://hal.archives-ouvertes.fr/lirmm-01276796
Automatic Translation of Architecture Constraint Specifications into Components, The 9th European Conference on Software Architecture, pp.322-338, 2015. ,
DOI : 10.1016/j.infsof.2007.09.003
URL : https://hal.archives-ouvertes.fr/lirmm-01235454
UML in practice, 2013 35th International Conference on Software Engineering (ICSE), pp.722-731, 2013. ,
DOI : 10.1109/ICSE.2013.6606618
An experimental investigation of formality in UML-based development, IEEE Transactions on Software Engineering, vol.31, issue.10, pp.31-833, 2005. ,
DOI : 10.1109/TSE.2005.105
Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006. ,
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120
The Tree-to-Tree Correction Problem, Journal of the ACM, vol.26, issue.3, pp.422-433, 1997. ,
DOI : 10.1145/322139.322143
What price reusability?: a case study, ACM SIGAda Ada Letters, pp.115-124, 1991. ,
DOI : 10.1145/112630.112643
Catalogue of architectural patterns characterized by constraint components, Version 1.0, Tech. rep., IRISA, p.53, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00844514
Comparison and evaluation of clone detection tools, Software Engineering, IEEE Transactions on, vol.33, issue.9, pp.577-591, 2007. ,
Framework for ambient assistive living: handling dynamism and uncertainty in real time semantic services provisioning, national des télécommunications, 2013. ,
URL : https://hal.archives-ouvertes.fr/tel-01048706
Semantic Reasoning in Context-Aware Assistive Environments to Support Ageing with Dementia, pp.212-227, 2012. ,
DOI : 10.1007/978-3-642-35173-0_14
URL : https://hal.archives-ouvertes.fr/hal-00739818
Adapting ocl constraints after a refactoring of their model using an mde process, in: BElgian-NEtherlands software eVOLution seminar, pp.16-27, 2010. ,
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
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
The dresden ocl toolkit and its role in information systems development, p.2004, 2004. ,
Transformation techniques for OCL constraints, Science of Computer Programming, vol.68, issue.3, pp.179-195, 2007. ,
DOI : 10.1016/j.scico.2007.05.001
URL : https://doi.org/10.1016/j.scico.2007.05.001
Transformation Rules for Translating Business Rules to OCL Constraints, pp.132-143, 2011. ,
DOI : 10.1007/11880240_25
Refactoring to improve the understandability of specifications written in object constraint language, Software, pp.69-90, 2009. ,
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
Using aspect-oriented programming to instrument ocl contracts in java ,
Translating the Object Constraint Language into the Java Modelling Language, Proceedings of the 2004 ACM symposium on Applied computing , SAC '04, pp.1531-1535, 2004. ,
DOI : 10.1145/967900.968206
URL : http://www.comp.it.bton.ac.uk/Research/vmg/papers/SAC2004.pdf
Overview and Evaluation of Constraint Validation Approaches in Java, 29th International Conference on Software Engineering (ICSE'07), pp.313-322, 2007. ,
DOI : 10.1109/ICSE.2007.60
Van Der Straeten, Specifying and implementing the operational use of constraints in object-oriented applications, Proceedings of the Fortieth International Conference on Tools Pacific, pp.23-32, 2002. ,
Refactoring: Improving the Design of Existing Code, 11th European Conference, 1997. ,
DOI : 10.1007/3-540-45672-4_31
A Domain Analysis to Specify Design Defects and Generate Detection Algorithms, International Conference on Fundamental Approaches to Software Engineering, pp.276-291, 2008. ,
DOI : 10.1007/978-3-540-78743-3_20
URL : https://hal.archives-ouvertes.fr/inria-00270172
Identification of Move Method Refactoring Opportunities, IEEE Transactions on Software Engineering, vol.35, issue.3, pp.347-367, 2009. ,
DOI : 10.1109/TSE.2009.1
Automatic and Continuous Software Architecture Validation, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.2015-59, 2015. ,
DOI : 10.1109/ICSE.2015.135
A Pattern Enforcing Compiler (PEC) for Java, Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling, pp.69-78, 2005. ,
DOI : 10.4018/978-1-59904-219-0.ch015
Automatic verification of java design patterns , in: Automated Software Engineering, Proceedings. 16th Annual International Conference on, pp.324-327, 2001. ,