Meedeniya, DA; Bowles, J; Perera, GIUS
[Article-Abstract]
The growth of software system development using
Model Driven Development (MDD) approach has increased the
need for modelling, model-to-model (M2M) transformations and
analyses at the design level for system verification. ...