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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.