Guided development with multiple domain-specific languages. Model Driven Engineering Languages and Systems, 10th International Conference, vol.4735, pp.46-60, 2007. ,
The pragmatics of model-driven development, IEEE Software, vol.20, issue.5, pp.19-25, 2003. ,
Automatically detecting and tracking inconsistencies in software design models, IEEE Trans. Software Eng, vol.37, issue.2, pp.188-204, 2011. ,
Inconsistency management in software engineering: Survey and open research issues, Handbook of Software Engineering and Knowledge Engineering. World scientific, pp.329-380, 2001. ,
Fixing inconsistencies in UML design models, 29th International Conference on Software Engineering, pp.292-301, 2007. ,
Principles for inconsistency, Fourth Biennial Conference on Innovative Data Systems Research, 2009. ,
What is scalability? SIGARCH Comput, Archit. News Dec, vol.18, issue.4, pp.18-21, 1990. ,
Identifying quality-requirement conflicts, IEEE Software, vol.13, issue.2, pp.25-35, 1996. ,
Inconsistency handling in multperspective specifications, IEEE Trans. Software Eng, vol.20, issue.8, pp.569-578, 1994. ,
Inconsistency management for multiple-view software development environments, IEEE Trans. Software Eng, vol.24, issue.11, pp.960-981, 1998. ,
xlinkit: a consistency checking and smart link generation service, ACM Trans. Internet Techn, vol.2, issue.2, pp.151-185, 2002. ,
Using description logic to maintain consistency between UML models. UML 2003 -The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, vol.2863, pp.326-340, 2003. ,
Metamodel-based model conformance and multiview consistency checking, ACM Trans. Softw. Eng. Methodol, vol.16, issue.3, 2007. ,
Detecting model inconsistency through operation-based model construction, 30th International Conference on Software Engineering (ICSE 2008), pp.511-520, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01303728
Instant consistency checking for the UML, 28th International Conference on Software Engineering (ICSE 2006), pp.381-390, 2006. ,
Incremental evaluation of OCL constraints, 18th International Conference, vol.4001, pp.81-95, 2006. ,
Incremental consistency checking for pervasive context, 28th International Conference on Software Engineering (ICSE 2006), pp.292-301, 2006. ,
Incremental detection of model inconsistencies based on model operations, 21st International Conference, vol.5565, pp.32-46, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00669769
Operation based model representation: Experiences on inconsistency detection, Modelling Foundations and Applications -7th European Conference, vol.6698, pp.85-96, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00626824
An overview of UML consistency management, 2004. ,
Feature diagrams: A survey and a formal semantics, 14th IEEE International Conference on Requirements Engineering, pp.136-145, 2006. ,
,
Towards incremental execution of ATL transformations. Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, vol.6142, pp.123-137, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00539063
Concordance: A framework for managing model integrity, Modelling Foundations and Applications, 6th European Conference, vol.6138, pp.245-260, 2010. ,
Automatic incrementalization of prolog based static analyses. Practical Aspects of Declarative Languages, 9th International Symposium, vol.4354, pp.109-123, 2007. ,
On the Move to Meaningful Internet Systems: OTM 2010 Workshops -Confederated International Workshops and Posters: International Workshops, Proceedings, vol.6428, pp.120-129, 2010. ,
Incremental evaluation of model queries over EMF models, Model Driven Engineering Languages and Systems -13th International Conference, MODELS 2010, vol.6394, pp.76-90, 2010. ,
Partial constraint checking for context consistency in pervasive computing, ACM Trans. Softw. Eng. Methodol, vol.19, issue.3, 2010. ,
A plug-in for flexible and incremental consistency management, Proc. of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UMLbased Software Development), 2003. ,
The Art of Prolog -Advanced Programming Techniques, 1994. ,
Unified modeling language specification : Superstructure (Version 2.4.1), 2011. ,
Model Driven Architecture -Foundations and Applications, 5th European Conference, vol.5562, pp.130-145, 2009. ,