بهمن زمانی

Towards a formal model of patterns and pattern languages

Towards a formal model of patterns and pattern languages

By MDSERG Admin | مقالات انگلیسی
On the evaluation of automatic program repair techniques and tools

On the evaluation of automatic program repair techniques and tools

By MDSERG Admin | مقالات انگلیسی
Towards a tracing framework for model-driven software systems

Towards a tracing framework for model-driven software systems

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

نمایه یو‌ام‌ال پیشرفته جهت مدل‌سازی محاسبات ابری

By MDSERG Admin | مقالات فارسی
تبدیل مدل دوسویه بر اساس چارچوب اپسیلون

تبدیل مدل دوسویه بر اساس چارچوب اپسیلون

By MDSERG Admin | مقالات فارسی
یک روش آزمون مدل‌رانده برای تولید خودکار موارد آزمون براساس نمودار توالی

یک روش آزمون مدل‌رانده برای تولید خودکار موارد آزمون براساس نمودار توالی

By MDSERG Admin | مقالات فارسی
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 | مقالات فارسی