1- مهندسی مدل‌رانده

  • زبان‌های مدل‌سازی و فرامدل‌سازی
    • پروفايل‌های يوام‌ال
    • زبان‌هاي مدل‌سازي خاص دامنه
    • زبان‌های فرامدل‌سازی خاص دامنه
  • تبديل‌های مدل
    • مهندسی تبدیل مدل (چرخه‌ی حیات تبدیل)
    • آزمون تبدیل مدل
    • تبدیل‌های دوسویه
    • تبدیل‌های واکنشی و افزایشی
    • الگوهای تبدیل مدل
  • مهندسی معکوس مدل‌رانده
  •  مدیریت مدل
    • نسخه‌بندی مدل، همگام‌سازی و ادغام
    • سازگاری میان مدل‌ها
  • اجرای مدل
    • فشرده‌سازی رد اجرای مدل

2- الگوهای طراحی نرم‌افزار

  • الگوهای طراحی و ضد الگوها
  • وارسی زبان الگو

3- آزمون نرم‌افزار

  • تولید خودکار موارد آزمون
  • آزمون مبتنی بر مدل

4- دامنه‌های مورد کاربرد

  • محیط‌های واکنش اضطراری
  • معماری سرویس‌گرا
    • سرویس‌های فراگیر آگاه به زمینه
  •  برنامه‌های اندروید
  • بازی‌های کامپیوتری
  • امنیت نرم‌افزار
    • شناسایی و تعمیر بدافزارها
    • تحلیل آسیب‌پذیری‌ها
    • سیاست‌های کنترل دسترسی

در صورتی‌که علاقه‌مند به مطالعه‌ی مقالات بنیادین در خصوص زمینه‌های تحقیقاتی فوق می‌باشید، به این صفحه مراجعه نمایید. برای شناسه و گذرواژه از b1 و Papers12 استفاده کنید.