Combining unit and specification-based testing for meta-model validation and verification
This is the author’s version of a work that was accepted for publication in Information Systems. 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 ha...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2016 |
| 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/675664 |
| Acceso en línea: | http://hdl.handle.net/10486/675664 https://dx.doi.org/10.1016/j.is.2016.06.008 |
| Access Level: | acceso abierto |
| Palabra clave: | Domain-specific modelling languages Meta-model quality Meta-modelling Model-driven engineering Validation & verification Informática |
| Sumario: | This is the author’s version of a work that was accepted for publication in Information Systems. 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 Information Systems, VOL 62, (2016)] DOI 10.1016/j.is.2016.06.008 |
|---|