پروفایل اساتید - ece- دانشکده مهندسی برق و کامپیوتر
استادیار
تاریخ بهروزرسانی: 1403/09/14
رامتین خسروی
دانشکدگان فنی / دانشکده مهندسی برق و کامپیوتر
پایاننامههای کارشناسیارشد
-
تولید خودکار آزمایه برای سامانه های پردازش تراکنش های مالی بر مبنای روش آزمون تصادفی تطبیقی
مهدی خرسنداسیابری 1403 -
بررسی رابطه مهارت های آموخته شده مهندسی فناوری شبکه های رایانه ای در دانشگاه علمی و کاربردی با نیازهای بازار کار
الهام پیری 1403 -
اعتبارسنجی مدل های شبیه سازی با استفاده از روشهای آزمون
عباس محمودی مرکید 1402 -
نگاشت پویای اکتور به ریسمان
فهیمه راحمی 1402 -
تحلیل درشت دانگی در وارسی مدل برنامه های مبتنی بر اکتور
محسن فضائلی 1402 -
یکپارچه سازی روشهای کارکردی و ساختاری در آزمون مبتنی برمدل
حمیدرضا اسعدی 1402 -
استفاده از زبانهای خاص دامنه در مدلسازی معماری نرم افزار
امیررضا یزدان شناس 1402 -
معماری نرم افزار در متدولوژی های چابک توسعه نرم افزار
عاطفه موفقی 1402 -
آزمون مبتنی بر مدل با استفاده از توصیف های ربکا
علیرضا طالبی پورآقاباقر 1402 -
معنا شناسی و تحلیل زبان ریو با منطق رابطه ای
مصطفی زالی 1402 -
به کارگیری محتوای وب در سیستمهای پیشنهادگر وب
شقایق صاحبی 1402 -
ارائه یک چار چوب برای یک سیستم تعاملی مبتنی بر مدل سازی برای توسعه سریع برنامه های کاربردی
مصطفی توکلی نیا 1402 -
مدل سازی و تحلیل اکتورهای زمان دار مبتنی بر منطق بازنویسی
زینب صباحی کاویانی 1402 -
بررسی روشهای تجرید مدلهای ربکا به منظور درستی یابی صوری
حمیده صبوری قمی 1402 -
به کارگیری زبان مدلسازی Alloy در روش طراحی مبتنی بر دامنه
سیده حوری نسا اسوده خلجانی 1402 -
نگاشت کاربردهای مبتنی بر اکتور بر شبکه های روی تراشه
طیبه صادقی 1402 -
طراحی منطق دامنه بر اساس تبادل ناهمگام پیغام
وحید ذوقی شال 1402 -
روشی برای بیشینه سازی انتشار تاثیر در شبکه های اجتماعی
مهدی حیدری 1402 -
اجرای پیش بینی پذیر برنامه های اکتور در جاوا
آروین ذاکریان 1402 -
مدلسازی تغییر پذیری در خط تولید سیستمهای اطلاعاتی
مریم رضویان 1402 -
مدلسازی و درستیسنجی سازوکارهای ترمیم در سیستمهای توزیع شده
محمدحسین عبدی زرویجانی 1402 -
بررسی تاثیر به کارگیری مدل اکتور بر کارایی هسته معاملات
سارا کریمی 1401 -
ارائه یک مدل مبتنی بر اکتور برای مدلسازی و درستی یابی سیستمهای بلادرنگ
محمدجواد ایزدی نجف آبادی 1401 -
مدلسازی منطق پردازش تراکنش با زبانهای تابعی
هادی صفری 1401 -
تولید خودکار داده های آزمون برای منطق دامنه ی شی گرا
مریم عزتی 1401 -
آزمون مبتنی بر مدل نرمافزارهای نهفتهی صنعتی بر اساس توصیف مبتنی بر قاعده
علی حبیبی 1400 -
بررسی ویژگی اتصال در سیستم های چند رباتی با شعاع ارتباطی محدود
سیدمرتضی معنوی 1398 -
تحلیل سیستمهای توزیع شده در زمان اجرا با استفاده از خصوصیات زمان دار
محمدعلی درستی مطلق 1398 -
مدل سازی و درستی یابی سیستم های اکتور زمان دار با بازه های زمانی
شقایق توسلی 1398 -
ارزیابی کاربردپذیری زبان مدل سازی ربکا
جمال اخگری 1398 -
درستی یابی سیستمهای توزیع شده شامل مولفه های نامشخص
رزا عباسی بروجنی 1397 -
مدلسازی و وارسی مدل سیستمهای احتمالی مبتنی بر اکتور
مهسا ورشوساز 1397 -
بهینه سازی آزمونگر ربکا
هومن بنده مقدم 1397 -
طراحی معماری نرم افزارهای سازمانی با کاربردپذیری بالا
پرستو دیداری 1397 -
آزمون مبتنی بر مدل خط محصول نرم افزار
آیرین غفاری 1396 -
پروژه تخصصی
محمودرضا فتحی خلف بادام 1396 -
مدل سازی و تحلیل اکتورها با قابلیت همه پخشی
بهناز یوسفی 1396 -
مدیریت تغییر پذیری در لایه واسط کاربر خطوط محصول نرم افزارهای مبتنی بر وب
سجاد بهمنی 1396 -
مدل سازی و درستی یابی سیستم های اکتور با توپولوژی پویا
پوریا ملتی 1396 -
بررسی انطباق معماری با کد نرم افزار
راضیه رحیمی 1396