• Formal Verification of Graph-Based Model Transformations 

      Mustafa Kamel Selim, Gehan (2015-06-22)
      Model Driven Development (MDD) is a relatively new software development methodology that has been increasingly used in the last decade for software development and, in many cases, has replaced traditional, code-centric ...