2017

تولید خودکار یک سیستم چندعاملی برای مدیریت بحران به روش مدل‌رانده
0
Dec
09

تولید خودکار یک سیستم چندعاملی برای مدیریت بحران به روش مدل‌رانده

By MDSERG Admin | Papers in Persian
ATL فرآیندی جهت اعمال الگوهای تبدیل در زبان تبدیل
0
Jul
13

ATL فرآیندی جهت اعمال الگوهای تبدیل در زبان تبدیل

By MDSERG Admin | Papers in Persian

ارائه الگوریتم ادغام سه‌طرفه برای مدل‌های یو‌ام‌ال بر اساس مفروضات ذهنی طراحان

By MDSERG Admin | Papers in Persian

ارائه‌ی روشی جدید برای تبدیل مدل دوسویه‌ بر اساس چارچوب اپسیلون و تکنیک‌های ردیابی‌پذیری

By MDSERG Admin | Papers in Persian
تعمیر خودکار برنامه‌ها: بررسی ادبیات و مرور نظام‌یافته فنون شاخص
0
Jul
13

تعمیر خودکار برنامه‌ها: بررسی ادبیات و مرور نظام‌یافته فنون شاخص

By MDSERG Admin | Papers in Persian
An automatic test case generator for evaluating implementation of access control policies
0
Jun
29

An automatic test case generator for evaluating implementation of access control policies

By MDSERG Admin | Papers in English
A novel approach for automatic model-based test case generation
0
Jun
29

A novel approach for automatic model-based test case generation

By MDSERG Admin | Papers in English
A UML profile for modeling the conflicts in model merging
0
Jun
28

A UML profile for modeling the conflicts in model merging

By MDSERG Admin | Papers in English
Solving the state elimination case study using Epsilon
0
Jun
28

Solving the state elimination case study using Epsilon

By MDSERG Admin | Papers in English
Solving the families to persons case using EVL‎+ ‎Strace
0
Jun
28

Solving the families to persons case using EVL‎+ ‎Strace

By MDSERG Admin | Papers in English