Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/10609/78226
Títol: | Backwards reasoning for model transformations: method and applications |
---|---|
Autor/a: | Clarisó Viladrosa, Robert; Cabot Sagrera, Jordi; Guerra, Esther; Lara, Juan de |
Altres autors: | Universitat Oberta de Catalunya (UOC); Universidad Autónoma de Madrid |
Abstract: | |
Matèries: | -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 |
Drets: | CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Tipus de document: | Article Article - Versió presentada |
Publicat per: | Journal of Systems and Software |
Compartir: |