In model-driven development models are considered as the key artifacts and, as a result, the success of the whole development process relies on these models and their quality. Consequently, there is an urgent need for adequate methods to ensure high quality of models.
Talk: 9th International Conference on Tests and Proofs (TAP´15), L’Aquila; 07-22-2015 - 07-24-2015; in: “Proceedings of the 9th International Conference on Tests and Proofs (TAP´15)", Springer, volume 9154 of Lecture Notes in Computer Science (2015), ISBN: 978-3-319-21214-2; 173 - 190.
Talk: 10th International Workshop on Model Driven Engineering, Verification and Validation, Miami; 10-01-2013; in: “Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)", CEUR, Vol-1069 (2013), ISSN: 1613-0073; 1 - 10.