Hello Every one,
I need your guidance in the verification and validation of a Domain-Specific Modeling Language. There are multiple qualitative and quantitative methods of verification. QuEF is one of the method that i am focusing on. But i want to know any easy and quick quantitative verification method for DSML.