Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10609/78226
Título: | Backwards reasoning for model transformations: method and applications |
---|---|
Autor/a: | Clarisó Viladrosa, Robert; Cabot Sagrera, Jordi; Guerra, Esther; Lara, Juan de |
Otros autores: | Universitat Oberta de Catalunya (UOC); Universidad Autónoma de Madrid |
Abstract: | |
Materia(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 |
Derechos: | CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Tipo de documento: | Artículo Artículo - Versión presentada |
Editor: | Journal of Systems and Software |
Compartir: |