On the interaction of inter-relationship constraints

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, 2011.

Cited by: 5|Views4
EI

Abstract:

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

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments