رامتین خسروی

استادیار

تاریخ به‌روزرسانی: 1403/02/21

رامتین خسروی

دانشکدگان ‌فنی / دانشکده مهندسی‌ برق‌ و کامپیوتر

پایان‌نامه‌های کارشناسی‌ارشد

  1. آزمون مبتنی بر مدل خط محصول نرم افزار
    آیرین غفاری 1402
  2. مدیریت تغییر پذیری در لایه واسط کاربر خطوط محصول نرم افزارهای مبتنی بر وب
    سجاد بهمنی 1402
  3. اعتبارسنجی مدل های شبیه سازی با استفاده از روشهای آزمون
    عباس محمودی مرکید 1402
  4. معماری نرم افزار در متدولوژی های چابک توسعه نرم افزار
    عاطفه موفقی 1402
  5. طراحی معماری نرم افزارهای سازمانی با کاربردپذیری بالا
    پرستو دیداری 1402
  6. طراحی منطق دامنه بر اساس تبادل ناهمگام پیغام
    وحید ذوقی شال 1402
  7. به کارگیری محتوای وب در سیستمهای پیشنهادگر وب
    شقایق صاحبی 1402
  8. مدل سازی و تحلیل اکتورهای زمان دار مبتنی بر منطق بازنویسی
    زینب صباحی کاویانی 1402
  9. درستی یابی سیستمهای توزیع شده شامل مولفه های نامشخص
    رزا عباسی بروجنی 1402
  10. نگاشت کاربردهای مبتنی بر اکتور بر شبکه های روی تراشه
    طیبه صادقی 1402
  11. مدلسازی تغییر پذیری در خط تولید سیستمهای اطلاعاتی
    مریم رضویان 1402
  12. مدل‌سازی و درستی‌سنجی سازوکارهای ترمیم در سیستم‌های توزیع شده
    محمدحسین عبدی زرویجانی 1402
  13. بررسی تاثیر به کارگیری مدل اکتور بر کارایی هسته معاملات
    سارا کریمی 1401
  14. ارائه یک مدل مبتنی بر اکتور برای مدلسازی و درستی یابی سیستمهای بلادرنگ
    محمدجواد ایزدی نجف آبادی 1401
  15. مدل‌سازی منطق پردازش تراکنش با زبان‌های تابعی
    هادی صفری 1401
  16. تولید خودکار داده های آزمون برای منطق دامنه ی شی گرا
    مریم عزتی 1401
  17. آزمون مبتنی بر مدل نرم‌افزارهای نهفته‌ی صنعتی بر اساس توصیف مبتنی بر قاعده
    علی حبیبی 1400
  18. بررسی ویژگی اتصال در سیستم های چند رباتی با شعاع ارتباطی محدود
    سیدمرتضی معنوی 1398
  19. تحلیل سیستم‌های توزیع شده در زمان اجرا با استفاده از خصوصیات زمان دار
    محمدعلی درستی مطلق 1398
  20. مدل سازی و درستی یابی سیستم های اکتور زمان دار با بازه های زمانی
    شقایق توسلی 1398
  21. ارزیابی کاربردپذیری زبان مدل سازی ربکا
    جمال اخگری 1398
  22. معنا شناسی و تحلیل زبان ریو با منطق رابطه ای
    مصطفی زالی 1397
  23. مدلسازی و وارسی مدل سیستمهای احتمالی مبتنی بر اکتور
    مهسا ورشوساز 1397
  24. بررسی روشهای تجرید مدلهای ربکا به منظور درستی یابی صوری
    حمیده صبوری قمی 1397
  25. بهینه سازی آزمونگر ربکا
    هومن بنده مقدم 1397
  26. بررسی انطباق معماری با کد نرم افزار
    راضیه رحیمی 1396
  27. پروژه تخصصی
    محمودرضا فتحی خلف بادام 1396
  28. آزمون مبتنی بر مدل با استفاده از توصیف های ربکا
    علیرضا طالبی پورآقاباقر 1396
  29. استفاده از زبانهای خاص دامنه در مدلسازی معماری نرم افزار
    امیررضا یزدان شناس 1396
  30. به کارگیری زبان مدلسازی Alloy در روش طراحی مبتنی بر دامنه
    سیده حوری نسا اسوده خلجانی 1396
  31. مدل سازی و درستی یابی سیستم های اکتور با توپولوژی پویا
    پوریا ملتی 1396
  32. روشی برای بیشینه سازی انتشار تاثیر در شبکه های اجتماعی
    مهدی حیدری 1396
  33. مدل سازی و تحلیل اکتورها با قابلیت همه پخشی
    بهناز یوسفی 1396
  34. تحلیل درشت دانگی در وارسی مدل برنامه های مبتنی بر اکتور
    محسن فضائلی 1396
  35. یکپارچه سازی روشهای کارکردی و ساختاری در آزمون مبتنی برمدل
    حمیدرضا اسعدی 1396
  36. نگاشت پویای اکتور به ریسمان
    فهیمه راحمی 1396
  37. اجرای پیش بینی پذیر برنامه های اکتور در جاوا
    اروین ذاکریان 1396
  38. ارائه یک چار چوب برای یک سیستم تعاملی مبتنی بر مدل سازی برای توسعه سریع برنامه های کاربردی
    مصطفی توکلی نیا 1396