To access the full text documents, please follow this link: http://hdl.handle.net/10609/78226
Title: | Backwards reasoning for model transformations: method and applications |
---|---|
Author: | Clarisó Viladrosa, Robert; Cabot Sagrera, Jordi; Guerra, Esther; Lara, Juan de |
Other authors: | Universitat Oberta de Catalunya (UOC); Universidad Autónoma de Madrid |
Abstract: | |
Subject(s): | -model transformation -OCL -weakest pre-condition -graph transformation -validation and verification -backwards reasoning -transformació de models -OCL -raonament cap enrere -precondició més feble -transformació de grafs -validació i verificació -transformación de modelos -OCL -razonamiento hacia atrás -precondición más débil -transformación de grafos -validación y verificación -Software engineering -Enginyeria de programari -Ingeniería de software |
Rights: | CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Document type: | Article Article - Submitted version |
Published by: | Journal of Systems and Software |
Share: |