Search by keyword: "completeness and correctness of model transformation"
The Principles of Complete and Correct Transformation of the Synchronized Models
Authors: Devyatkov V.V., Oshkalo D.V. | Published: 17.06.2015 |
Published in issue: #3(102)/2015 | |
DOI: 10.18698/0236-3933-2015-3-79-91 | |
Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
Keywords: model transformation, model synchronization, UML, graph grammars, completeness and correctness of model transformation |