On the interaction of inter-relationship constraints
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, 2011.
MDE and software evolution call for model-level design support, that includes reasoning capabilities such as query answering, verification and validation, static analysis and model transformation. Automation of all activities requires well-defined semantics for models. This is particularly important for the class diagram model, which is c...More
Full Text (Upload PDF)
PPT (Upload PPT)