正文
《信息与电子工程前沿(英文)》 >> 2015年 第16卷 第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
摘要
关键词
Graph rewriting based model transformations ; Verification/validation ; Test-driven verification
正文