Verification and validation of declarative model-to-model transformations through invariants
This is the author’s version of a work that was accepted for publication in Journal of Systems and Software. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Ch...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2009 |
| País: | España |
| Institución: | Universidad Autónoma de Madrid |
| Repositorio: | Biblos-e Archivo. Repositorio Institucional de la UAM |
| Idioma: | inglés |
| OAI Identifier: | oai:repositorio.uam.es:10486/662786 |
| Acceso en línea: | http://hdl.handle.net/10486/662786 https://dx.doi.org/10.1016/j.jss.2009.08.012 |
| Access Level: | acceso abierto |
| Palabra clave: | Model-Driven Development Model-to-model transformation OCL QVT Triple Graph Grammars Verification and validation Informática |
| Sumario: | This is the author’s version of a work that was accepted for publication in Journal of Systems and Software. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Systems and Software, 83, 2, (2009) 10.1016/j.jss.2009.08.012 |
|---|