2015

انتخاب بهترین سرویس با توجه به معیارهای امنیتی با استفاده از روش‌های تحلیل سلسله مراتبی و هدف، سوال و اندازه‌گیری
0
Jul
12

انتخاب بهترین سرویس با توجه به معیارهای امنیتی با استفاده از روش‌های تحلیل سلسله مراتبی و هدف، سوال و اندازه‌گیری

By MDSERG Admin | Papers in Persian
بهبود معیار پوشش شرط/تصمیم اصلاح‌یافته در آزمون نرم‌افزار به‌روش مبتنی بر مدل
0
Jul
12

بهبود معیار پوشش شرط/تصمیم اصلاح‌یافته در آزمون نرم‌افزار به‌روش مبتنی بر مدل

By MDSERG Admin | Papers in Persian
Towards automatic generation of formal specifications for UML consistency verification
0
Jun
28

Towards automatic generation of formal specifications for UML consistency verification

By MDSERG Admin | Papers in English
From trace-based inter-model validation to bidirectional model synchronization with reconciliation
0
Jun
28

From trace-based inter-model validation to bidirectional model synchronization with reconciliation

By MDSERG Admin | Papers in English