Making Components Contract Aware, IEEE Computer, vol.32, issue.7, pp.38-45, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-01794333
Using ATL for Checking Models, Electronic Notes in Theoretical Computer Science, vol.152, pp.69-81, 2006. ,
Verifying and Validating Software Requirements and Design Specifications, IEEE Software, vol.1, issue.1, pp.75-88, 1984. ,
Verification of Model Transformations: A Survey of the State-of-the-Art, Electronic Notes in Theoretical Computer Science, vol.292, pp.5-25, 2013. ,
Model Transformation Contracts and their Definition in UML and OCL, vol.8, pp.1-17, 2004. ,
OCL for the Specification of Model Transformation Contracts, Proceedings of Workshop OCL and Model Driven Engineering, 2004. ,
OCL Contracts for the Verification of Model Transformations, Electronic Communications of the EASST, vol.24, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01093419
Contracts for Model Execution Verification, Proceedings of European Conference on Modelling Foundations and Applications, pp.3-18, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00637763
USE: A UML-based Specification Environment for Validating UML and OCL, Science of Computer Programming, vol.69, issue.1, pp.27-34, 2007. ,
Tractable Model Transformation Testing, Proceedings of European Conference on Modelling Foundations and Applications, pp.221-235, 2011. ,
Automated Verification of Model Transformations Based on Visual Contracts, Automated Software Engineering, vol.20, issue.1, pp.5-46, 2013. ,
Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, pp.571-586, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00542784
Applying Design by Contract, Computer, vol.25, issue.10, pp.40-51, 1992. ,
Reusable MDA Components: A Testing-for-Trust Approach, Proceedings of International Conference on Model Driven Engineering Languages and Systems, pp.589-603, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00461274
A Mapping from BPMN Model to JADEX Model, The International Arab Journal of Information Technology, vol.12, issue.1, pp.77-85, 2015. ,
Object Constraint Language (OCL) Specification, version 2.2, 2010. ,
A Survey of Approaches for Verifying Model Transformations, Software and System Modeling, vol.14, pp.1003-1028, 2013. ,
A Survey of Methods and Applications of Model Comparison, 2011. ,
Multiagent Decision Making for SME Supply Chain Simulation, Proceedings of 23 rd European Conference on Modeling and Simulation, pp.203-211, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00403807
Model-Driven Development of Model Transformations, Proceedings of International Conference on Graph Transformation, pp.517-519, 2008. ,
OCL Extended with Temporal Logic, Proceedings of Conference on Perspectives of System Informatics, pp.351-357, 2003. ,