UML2Alloy: A challenging model transformation, International Conference on Model Driven Engineering Languages and Systems, pp.436-450, 2007. ,
Heuristic-Based Recommendation for Metamodel-OCL Coevolution, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.210-220, 2017. ,
Automated impact analysis of UML models, Journal of Systems and Software, vol.79, issue.3, pp.339-352, 2006. ,
Verification of UML/OCL class diagrams using constraint programming, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, pp.73-80, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00974321
Incremental integrity checking of UML/OCL conceptual schemas, Journal of Systems and Software, vol.82, pp.1459-1478, 2009. ,
Automating co-evolution in model-driven engineering, Enterprise Distributed Object Computing Conference, pp.222-231, 2008. ,
Automating co-evolution in model-driven engineering, Enterprise Distributed Object Computing Conference, pp.222-231, 2008. ,
Refactoring object constraint language specifications, Software & Systems Modeling, vol.6, pp.113-138, 2007. ,
Quick fixing ATL model transformations, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.146-155, 2015. ,
Quick fixing ATL transformations with speculative analysis, Software & Systems Modeling, pp.1-35, 2018. ,
Towards Automated Inconsistency Handling in Design Models, CAiSE, pp.348-362, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01292626
Introducing Traceability and Consistency Checking for Change Impact Analysis across Engineering Tools in an Automation Solution Company: An Experience Report, Software Maintenance and Evolution (ICSME), pp.529-538, 2016. ,
Instant consistency checking for the UML, 28th International Conference on Software Engineering (ICSE 2006), pp.381-390, 2006. ,
Automatically Detecting and Tracking Inconsistencies in Software Design Models, IEEE Trans. Software Eng, vol.37, pp.188-204, 2011. ,
Software reuse research: Status and future, IEEE transactions on Software Engineering, vol.31, pp.529-536, 2005. ,
Managing model adaptation by precise detection of metamodel changes, Model Driven Architecture-Foundations and Applications, pp.34-49, 2009. ,
Adapting transformations to metamodel changes via external transformation composition. Software & Systems Modeling, vol.13, pp.789-806, 2014. ,
Model transformation co-evolution: A semi-automatic approach, SLE, vol.7745, pp.144-163, 2013. ,
Surveying the corpus of model resolution strategies for metamodel evolution, 2015 Asia-Pacific Software Engineering Conference (APSEC), pp.135-142, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01474568
Approaches to co-evolution of metamodels and models: A survey, IEEE Transactions on Software Engineering, vol.43, pp.396-414, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01525676
The quest for open source projects that use UML: mining GitHub, pp.173-183, 2016. ,
Moisés Castelo Branco, and Dániel Varró, VL/HCC. 17-24, 2011. ,
COPE-automating coupled evolution of metamodels and models, ECOOP 2009-Object-Oriented Programming, pp.52-76, 2009. ,
Modeldriven engineering practices in industry, Proceedings of the 33rd International Conference on Software Engineering, pp.633-642, 2011. ,
Empirical assessment of MDE in industry, Proceedings of the 33rd International Conference on Software Engineering, pp.471-480, 2011. ,
Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology (TOSEM), vol.11, pp.256-290, 2002. ,
Automated Co-evolution of Metamodels and Transformation Rules: A Search-Based Approach, International Symposium on Search Based Software Engineering, pp.229-245, 2018. ,
Automated metamodel/model co-evolution: A search-based approach, Information and Software Technology, vol.106, pp.49-67, 2019. ,
Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp.101-111, 2018. ,
A framework to formally verify conformance of a software process to a software method, Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, pp.1518-1525, 2015. ,
Ad-room: a tool for automatic detection of refactorings in objectoriented models, Proceedings of the 38th International Conference on Software Engineering Companion, pp.617-620, 2016. ,
A semi-automatic maintenance and co-evolution of OCL constraints with (meta) model evolution, Journal of Systems and Software, vol.134, pp.242-260, 2017. ,
Detecting complex changes during metamodel evolution, International Conference on Advanced Information Systems Engineering, pp.263-278, 2015. ,
Detecting complex changes and refactorings during (meta) model evolution, Information Systems, vol.62, pp.220-241, 2016. ,
Metamodel and constraints coevolution: A semi automatic maintenance of ocl constraints, International Conference on Software Reuse, pp.333-349, 2016. ,
Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp.404-414, 2018. ,
, An Exploratory Experiment on, 2017.
, Metamodel-Transformation Co-Evolution, 24th Asia-Pacific Software Engineering Conference (APSEC). IEEE, pp.576-581, 2017.
Detecting and Repairing Inconsistencies across Heterogeneous Models, ICST, pp.356-364, 2008. ,
Efficient Consistency Checking of Interrelated Models, European Conference on Modelling Foundations and Applications, pp.161-178, 2017. ,
Systematic Co-Evolution of OCL Expressions, 11th APCCM 2015, vol.27, p.30, 2015. ,
Consistent co-evolution of models and transformations, ACM/IEEE 18th MODELS, pp.116-125, 2015. ,
Operation based model representation: experiences on inconsistency detection, European Conference on Modelling Foundations and Applications, pp.85-96, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00626824
Assessing the state-of-practice of model-based engineering in the embedded systems domain, Model-Driven Engineering Languages and Systems, pp.166-182, 2014. ,
Model transformation intents and their properties. Software & systems modeling, vol.15, pp.647-684, 2016. ,
Model repair and transformation with Echo, Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on. IEEE, pp.694-697, 2013. ,
Speculative analysis of integrated development environment recommendations, ACM SIGPLAN Notices, vol.47, pp.669-682, 2012. ,
Consistency Management with Repair Actions, ICSE, pp.455-464, 2003. ,
Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (NIER track), Proceedings of the 33rd International Conference on Software Engineering, pp.864-867, 2011. ,
Object Constraint Language, 2014. ,
Unified Modeling Language (UML), 2015. ,
Unified Modeling Language, 2015. ,
Resolving model inconsistencies using automated regression planning, Software & Systems Modeling, vol.14, pp.461-481, 2015. ,
Computing repair trees for resolving inconsistencies in design models, ASE, pp.220-229, 2012. ,
Incremental Consistency Checking for Complex Design Rules and Larger Model Changes, MODELS, pp.202-218, 2012. ,
Determining the Cause of a Design Model Inconsistency, IEEE Trans. Software Eng, vol.39, pp.1531-1548, 2013. ,
Are students representatives of professionals in software engineering experiments?, In ICSE, vol.1, pp.666-676, 2015. ,
Model-driven engineering, COMPUTER-IEEE COMPUTER SOCIETY, vol.39, issue.2, p.25, 2006. ,
An analysis of variance test for normality (complete samples), Biometrika, vol.52, issue.4, pp.591-611, 1965. ,
UML-B: Formal modeling and design aided by UML, ACM Transactions on Software Engineering and Methodology (TOSEM), vol.15, issue.1, pp.92-122, 2006. ,
Computing repair alternatives for malformed programs using constraint attribute grammars, In ACM SIGPLAN Notices, vol.51, pp.711-730, 2016. ,
Using students as subjects-an empirical evaluation, 2nd ESEM. ACM, pp.288-290, 2008. ,
Change-Preserving Model Repair, International Conference on Fundamental Approaches to Software Engineering, pp.283-299, 2017. ,
Metamodel adaptation and model coadaptation, ECOOP, pp.600-624, 2007. ,
The state of practice in model-driven engineering, IEEE software, vol.31, pp.79-85, 2014. ,
Experimentation in software engineering, 2012. ,
Supporting automatic model inconsistency fixing, ESEC FSE, pp.315-324, 2009. ,