16257

COM2 417

كارشناسي ارشد

مهندسي كامپيوتر گرايش نرم‌افزار

دانشكده مهندسي كامپيوتر، گروه مهندسي نرم‌افزار

بهمن‌ماه 1396

۱۰۵ ص.

بهمن زماني، شكوفه كلاه‌دوز رحيمي

مهندسي مدل‌رانده , تبديل مدل , زبان تبديل اپسيلون , وارسي تبديل مدل , اجراي نمادين

1397/01/18

صديقه رمضاني

Model-Driven Engineering , Model Transformation , Epsilon Transformation Language , Verification of Model Transformation , Symbolic Execution

A Novel Approach for Verifying Epsilon Transformations