To access the full text documents, please follow this link: http://hdl.handle.net/10609/78226
dc.contributor | Universitat Oberta de Catalunya (UOC) |
---|---|
dc.contributor | Universidad Autónoma de Madrid |
dc.contributor.author | Clarisó Viladrosa, Robert |
dc.contributor.author | Cabot Sagrera, Jordi |
dc.contributor.author | Guerra, Esther |
dc.contributor.author | Lara, Juan de |
dc.date | 2018-05-15T15:19:38Z |
dc.date | 2018-05-15T15:19:38Z |
dc.date | 2015-08-07 |
dc.identifier.citation | Clarisó, R., Cabot, J., Guerra, E. & de Lara Jaramillo, J. (2016). Backwards reasoning for model transformations: method and applications. Journal of Systems and Software, 116(), 113-132. doi: 10.1016/j.jss.2015.08.017 |
dc.identifier.citation | 0164-1212 |
dc.identifier.citation | 10.1016/j.jss.2015.08.017 |
dc.identifier.uri | http://hdl.handle.net/10609/78226 |
dc.format | application/pdf |
dc.language.iso | eng |
dc.publisher | Journal of Systems and Software |
dc.relation | Journal of Systems and Software, 2016, 116() |
dc.relation | https://doi.org/10.1016/j.jss.2015.08.017 |
dc.rights | CC BY-NC-ND |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | model transformation |
dc.subject | OCL |
dc.subject | weakest pre-condition |
dc.subject | graph transformation |
dc.subject | validation and verification |
dc.subject | backwards reasoning |
dc.subject | transformació de models |
dc.subject | OCL |
dc.subject | raonament cap enrere |
dc.subject | precondició més feble |
dc.subject | transformació de grafs |
dc.subject | validació i verificació |
dc.subject | transformación de modelos |
dc.subject | OCL |
dc.subject | razonamiento hacia atrás |
dc.subject | precondición más débil |
dc.subject | transformación de grafos |
dc.subject | validación y verificación |
dc.subject | Software engineering |
dc.subject | Enginyeria de programari |
dc.subject | Ingeniería de software |
dc.title | Backwards reasoning for model transformations: method and applications |
dc.type | info:eu-repo/semantics/article |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.description.abstract |