روشي نوين براي وارسي تبديل‌هاي اپسيلون

مقطع تحصيلي

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

رشته تحصيلي

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

دانشكده

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

تاريخ دفاع

بهمن‌ماه 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

نويسنده

عزيزي، بنفشه

لينک به اين مدرک