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]

No reviews for this publication, yet.