Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints

César Cuevas Cuesta, Patricia López Martínez, José M. Drake. Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, editors, MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016. pages 455-466, SciTePress, 2016. [doi]

@inproceedings{CuestaMD16a,
  title = {Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints},
  author = {César Cuevas Cuesta and Patricia López Martínez and José M. Drake},
  year = {2016},
  doi = {10.5220/0005744504550466},
  url = {http://dx.doi.org/10.5220/0005744504550466},
  researchr = {https://researchr.org/publication/CuestaMD16a},
  cites = {0},
  citedby = {0},
  pages = {455-466},
  booktitle = {MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016},
  editor = {Slimane Hammoudi and Luís Ferreira Pires and Bran Selic and Philippe Desfray},
  publisher = {SciTePress},
  isbn = {978-989-758-168-7},
}