رامتین خسروی

استادیار

تاریخ به‌روزرسانی: 1403/09/14

رامتین خسروی

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

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

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