Content
Frontiers of Information Technology & Electronic Engineering >> 2015, Volume 16, Issue 2 doi: 10.1631/FITEE.1400111
Test-driven verification/validation of model transformations
Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest 1117, Hungary
Abstract
Keywords
Graph rewriting based model transformations ; Verification/validation ; Test-driven verification
Content