Orthographic modeling environment A benchmark evaluation of incremental pattern matching in graph transformation, Fundamental Approaches to Software Engineering 4th International Conference on Graph Transformations, pp.93-96, 2008. ,
On the unification power of models. Software and Systems Modeling, pp.171-188, 2005. ,
Deriving a queueing network based performance model from UML diagrams, Proceedings of the second international workshop on Software and performance , WOSP '00, pp.58-70, 2000. ,
DOI : 10.1145/350391.350406
Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006. ,
DOI : 10.1147/sj.453.0621
Identifying and measuring quality in a software requirements specification, [1993] Proceedings First International Software Metrics Symposium, pp.141-152, 1993. ,
DOI : 10.1109/METRIC.1993.263792
Instant consistency checking for the UML, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.381-390, 2006. ,
DOI : 10.1145/1134285.1134339
Fixing Inconsistencies in UML Design Models, 29th International Conference on Software Engineering (ICSE'07), pp.292-301, 2007. ,
DOI : 10.1109/ICSE.2007.38
Static and dynamic analysis: Synergy and duality, ICSE Workshop on Dynamic Analysis, pp.24-27, 2003. ,
Object-oriented modeling with Adora, Information Systems, vol.27, issue.6, pp.425-444, 2002. ,
DOI : 10.1016/S0306-4379(02)00015-7
Footprinting operations written in kermeta, 2010. ,
Slicing of state-based models, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings., pp.34-43, 2003. ,
DOI : 10.1109/ICSM.2003.1235404
The 4+1 view model of architecture. Software, IEEE, vol.12, issue.6, pp.42-50, 1995. ,
Validation of Model Transformations ??? First Experiences Using a White Box Approach, Models in Software Engineering, Workshops and Symposia at MoDELS, pp.193-204, 2006. ,
DOI : 10.1007/978-3-540-69489-2_24
Understanding quality in conceptual modeling, IEEE Software, vol.11, issue.2, pp.42-49, 1994. ,
DOI : 10.1109/52.268955
Evaluating Quality in Model-Driven Engineering, International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007), 2007. ,
DOI : 10.1109/MISE.2007.6
Weaving Executability into Object-Oriented Meta-languages, 8th International Conference on Model Driven Engineering Languages and Systems, pp.264-278, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives, 2005. ,
The Guidelines of Modeling ??? An Approach to Enhance the Quality in Information Models, 17th International Conference on Conceptual Modeling, pp.240-254, 1998. ,
DOI : 10.1007/978-3-540-49524-6_20
Specification of graph translators with triple graph grammars, 20th International Workshop on Graph-Theoretic Concepts in Computer Science, pp.151-163, 1995. ,
DOI : 10.1007/3-540-59071-4_45
The pragmatics of model-driven development, IEEE Software, vol.20, issue.5, pp.19-25, 2003. ,
DOI : 10.1109/MS.2003.1231146
Meta-model Pruning, 12th International Conference on Model Driven Engineering Languages and Systems, pp.32-46, 2009. ,
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems, 12th International Conference on Model Driven Engineering Languages and Systems, pp.47-61, 2009. ,
DOI : 10.1007/978-3-540-87875-9_34
Designing the automatic transformation of visual languages, Science of Computer Programming, vol.44, issue.2, pp.205-227, 2002. ,
DOI : 10.1016/S0167-6423(02)00039-4
Verifying metamodel coverage of model transformations, Australian Software Engineering Conference (ASWEC'06), pp.10-18, 2006. ,
DOI : 10.1109/ASWEC.2006.55