Domain-Specific Model Verification with QVT
Domain-Specific Model Verification with QVT. By Maged Elaasar 1,2 Jointly with Lionel Briand 3 , Yvan Labiche 1. ECMFA 2011, Birmingham, UK. 1 Carleton University, Dep. of System and Computer Engineering, Ottawa, Canada 2 IBM Canada Ltd., Rational Software, Ottawa Lab, Canada
426 views • 28 slides