On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels

Najd Altoyan, Don S. Batory. On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels. ACM Transactions on Software Engineering Methodology, 32(2), April 2023. [doi]

Abstract

Abstract is missing.