On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels.

Najd Altoyan Don S. Batory

Published in: ACM Trans. Softw. Eng. Methodol. (2023)

Keyphrases

class diagrams
object oriented systems
object oriented
software maintenance
uml class diagrams
source code
software engineering
software systems
metamodel
class diagram
sequence diagrams
reverse engineering
constraint language
data model
databases
multi agent systems