1394

Towards automatic generation of formal specifications for UML consistency verification

Towards automatic generation of formal specifications for UML consistency verification

By MDSERG Admin | مقالات انگلیسی
From trace-based inter-model validation to bidirectional model synchronization with reconciliation

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

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

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

By MDSERG Admin | مقالات فارسی
بهبود معیار پوشش شرط/تصمیم اصلاح‌یافته در آزمون نرم‌افزار به‌روش مبتنی بر مدل

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

By MDSERG Admin | مقالات فارسی