سرپرست گروه

محمدرضا شعرباف

سرپرست گروه

98-31-37935641+

محمدرضا شعرباف استادیار دانشکده‌ی مهندسی کامپیوتر در دانشگاه اصفهان است. او به مهندسی نرم‌افزار مدل‌رانده (زبان‌های مدل‌سازی خاص دامنه، مدیریت مدل و تبدیل مدل)، توسعه پلتفرم‌های کم‌کد، متدولوژی‌های توسعه نرم‌افزار، الگوهای طراحی و همچنین وب معنایی (استدلال معنایی) علاقمند است. تحقیقات فعلی وی، بر مدل‌سازی همکارانه تمرکز داشته و به‌ویژه در زمینه مقایسه و ادغام مدل‌ها، مدیریت تداخل، نسخه‌بندی مدل، و مدل‌سازی چندنمایی متمرکز است. محمدرضا مدرک کارشناسي خود را از دانشگاه صنعتی اصفهان (اصفهان – ايران) در سال 1392 در رشته‌ي مهندسي کامپيوتر (نرم‌افزار) دريافت نموده است. او داراي مدرک کارشناسي ارشد و دکتری در همان رشته، از دانشگاه اصفهان (اصفهان – ايران) در سال 1395 و 1401 مي‌باشد. در حال حاضر او مدیر گروه پژوهشی مهندسی نرم‌افزار مدل‌رانده در دانشگاه اصفهان می‌باشد.
بیشتر

همکاران

بهمن زمانی

همکار (مؤسس)

بهمن زمانی مدرک کارشناسی خود را از دانشگاه اصفهان (اصفهان - ايران) در سال 1369 و مدرک کارشناسی‌ارشد خود را از دانشگاه صنعتی شريف (تهران - ايران) در سال 1375 در رشته‌ی مهندسی کامپيوتر (نرم‌افزار) دريافت نموده است. او موفق به اخذ درجه‌ی دکتري در رشته‌ی علوم کامپيوتر از دانشگاه کنکورديا (مونترال - کانادا) در سال 1388 شده است. وی از سال 1376 تا 1382 به‌عنوان عضو هیات علمی پژوهشی در سازمان پژوهش‌های علمی و صنعتی ایران (پژوهشکده اصفهان) مشغول به‌کار بوده است. دکتر زمانی در سال ۱۳۸۸ به‌عنوان استادیار به دانشکده مهندسی کامپیوتر دانشگاه اصفهان پیوست و در سال 1397 به مرتبه دانشیار ارتقاء یافت. زمینه تحقیقاتی دکتر زمانی مهندسی نرم‌افزار مدل‌رانده بوده و وی مؤسس گروه پژوهشی به همین نام در دانشگاه اصفهان می‌باشد. او تا شهریور 1402 به عنوان مدیر این گروه فعالیت می‌کرد. دکتر زمانی در شهریور 1401 بازنشسته شد.
بیشتر

شکوفه کلاه‌دوز رحیمی

همکار (از دانشگاه اصفهان)

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

افسانه فاطمی خوراسگانی

همکار (از دانشگاه اصفهان)

98-31-37934528+

افسانه فاطمی دارای مدرک کارشناسی مهندسی کامپبوتر- نرم افزار از دانشگاه صنعتی اصفهان در سال 1374، و مدرک کارشناسی ارشد و دکترا از دانشگاه اصفهان در سال‌های 1380 و 1390 می‌باشد. دکتر فاطمی از سال 1391 به عنوان استادیار در دانشکده‌ی مهندسی کامیپوتر دانشگاه اصفهان مشغول به کار است. زمینه‌های تحقیقاتی مورد علاقه‌ی او، شبکه‌های پیچیده، سیستم‌های چندعاملی و مدل‌سازی سیستم‌های واکنش اضطراری می‌باشد. او از سال 1392 با گروه پژوهشی مهندسی نرم‌افزار مدل‌رانده همکاری دارد.
بیشتر

بهروز ترک لادانی

همکار (از دانشگاه اصفهان)

98-31-37934069+

بهروز ترک لادانی دارای مدرک کارشناسی مهندسی کامپیوتر از دانشگاه اصفهان، مدرک کارشناسی ارشد مهندسی نرم‌افزار از دانشگاه صنعتی امیرکبیر و مدرک دکترای مهندسی نرم‌افزار از دانشگاه تربیت مدرس تهران است. او از سال 1384 عضو هیئت علمی دانشگاه اصفهان است و هم‌اکنون به‌عنوان استاد تمام دانشکده مهندسی کامپیوتر در این دانشگاه فعالیت می‌کند. زمینه‌ی تحقیقاتی مورد علاقه‌ی او پیرامون مدل‌سازی، تحلیل و وارسی امنیت در سیستم‌های اطلاعاتی شامل امنیت نرم‌افزار (شناسایی آسیب‌پذیری‌ها و تحلیل بدافزار)، و امنیت نرم (اعتماد محاسباتی و کنترل شایعه در شبکه های اجتماعی) می‌باشد.
بیشتر

لیلا صمیمی دهکردی

همکار (از دانشگاه شهرکرد)

ليلا صميمی دهکردی استادیار دانشکده‌ی مهندسی کامپیوتر دانشگاه شهرکرد است. او مدرک کارشناسی خود را در اسفندماه 1386 در رشته‌ی مهندسی کامپيوتر – نرم‌افزار از دانشگاه علم و صنعت ايران، و مدرک کارشناسی ارشد را در رشته‌ی الگوريتم‌ها و محاسبات از دانشگاه تهران در بهمن‌ماه 1389 دریافت نموده است. وی موفق به کسب مدرک دکترا در فروردین 1398 در رشته‌ی مهندسی نرم‌افزار از دانشگاه اصفهان، تحت نظارت دکتر بهمن زمانی و دکتر شکوفه کلاه‌دوز رحیمی، شده است. رساله‌ی دکترای او بر موضوعات توسعه‌ی مدل‌رانده، تبديل‌های دوسويه مدل، ردگيری، و انتشار تغييرات تمرکز داشت. او از مهرماه 1391 به عضو گروه پژوهشی مهندسی نرم‌افزار مدل‌رانده در دانشگاه اصفهان است. زمینه‌ی تحقیقاتی او در حال حاضر بر توسعه‌ی مدل‌رانده و کم‌کد، بازی‌وارسازی و مهندسی زبان‌های نرم‌افزار تمرکز دارد.
بیشتر

حسین مرادی

همکار (از دانشگاه صنعتی بیرجند)

حسین مرادی استادیار گروه مهندسی کامپیوتر دانشگاه صنعتی بیرجند است. وی کارشناسی مهندسی نرم‌افزار خود را در سال ۱۳۸۴ از دانشگاه بیرجند و کارشناسی ارشد مهندسی فناوری اطلاعات خود را نیز در سال ۱۳۸۷ از دانشگاه تربیت مدرس تهران اخذ نموده است و در سال ۱۳۹۹ نیز با راهنمایی دکتر بهمن زمانی، موفق به کسب مدرک دکترای مهندسی نرم‌افزار از دانشگاه اصفهان شده است. وی از سال ۱۳۹۳ عضو گروه تحقیقاتی مهندسی نرم‌افزار مدل‌رانده (MDSE) دانشگاه اصفهان است. او به كارآفرینی علاقه‌مند است و در سال ۱۳۹۴، اولین استارت‌آپ خود با نام یواسپیس (پلتفرم خدمات بوم گردی) را راه‌اندازی نموده است و در دی‌ماه ۱۳۹۷ نیز به عنوان پژوهشگر برتر استان خراسان جنوبی در حوزه فناوری و کارآفرینی انتخاب شده است. زمینه‌های تحقیقاتی وی شامل مهندسی نرم‌افزار مدل‌رانده، محاسبات فراگیر، محاسبات سرویس‌گرا، مدیریت فرایند کسب‌وکار، یکپارچه‌سازی سازمانی، کسب‌وکار الکترونیکی و توسعه استارت‌آپ می‌باشد.
بیشتر

دانشجویان دکترا

سید محمدسجاد کسائی

دانشجوی دکترا

شروع دوره: مهرماه 1401
عنوان پايان‌نامه: --
استاد راهنما: دکتر افسانه فاطمی               استاد راهنمای دوم: دکتر بهمن زمانی             استاد مشاور: دکتر محمدرضا شعرباف
بیشتر

یاسر شهواری

دانشجوی دکترا

شروع دوره: مهر 1400
عنوان پايان‌نامه: --
استاد راهنما: دکتر محمدرضا شعرباف       استاد راهنمای دوم: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

محسن غلامی

دانشجوی دکترا

شروع دوره: مهر 1400
عنوان پايان‌نامه: چارچوبی مدل رانده جهت توسعه نرم افزارهای تحلیل داده در کاربردهای اینترنت اشیا
استاد راهنما: دکتر بهمن زمانی     استاد راهنمای دوم: دکتر بهروز شاهقلی قهفرخی
بیشتر

اطهره فاطمیان

دانشجوی دکترا

شروع دوره: مهر 1399
عنوان پايان‌نامه: چارچوبی برای تحلیل بدافزارهای اندرویدی براساس مهندسی معکوس مدل‌رانده
استاد راهنما: دکتر بهروز ترک لادانی       استاد راهتمای دوم: دکتر بهمن زمانی
بیشتر

حیدر علی الشروعی

دانشجوی دکترا

شروع دوره: بهمن 1398
عنوان پايان‌نامه: مدیریت سازگاری در مدل‌سازی همکارانه بلادرنگ با دیدگاه‌های انعکاسی
استاد راهنما: دکتر بهروز ترک لادانی       استاد مشاور: دکتر محمدرضا شعرباف
بیشتر

حامد برنگی

دانشجوی دکترا

شروع دوره: مهر 1398
عنوان پايان‌نامه: راه‌کاری مدل‌رانده جهت تسهیل تعامل‌پذیری سیستم‌های آگاه به زمینه
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی           استاد راهنمای دوم: دکتر بهمن زمانی           استاد مشاور: دکتر حسین مرادی
بیشتر

حسنین عزیز

دانشجوی دکترا

شروع دوره: مهر 1398
عنوان پايان‌نامه: ارائه‌ی یک زبان الگو برای طراحی سیستم‌های اینترنت اشیاء شامل دستگاه‌های ناهمگون
استاد راهنما: دکتر بهمن زمانی           استاد راهنمای دوم: دکتر شکوفه کلاه‌دوز رحیمی           استاد مشاور: دکتر محمدرضا شعرباف
بیشتر

زهرا رجایی

دانشجوی دکترا

شروع دوره: مهر 1397
عنوان پايان‌نامه: ارائه‌ی چارچوب مدل‌رانده برای بهره‌گیری از یادگیری عمیق گراف در مهندسی مدل‌رانده
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی       استادان مشاور: دکتر ماسیمو تیسی - دکتر فردریک جوآت
بیشتر

دانشجویان کارشناسی ارشد

امیرحسین بدیعی

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1400
عنوان پايان‌نامه: ارائه یک سکوی کم‌کد با هدف توسعه سفارشی پیش‌خوان‌های تجزیه و تحلیل عملکرد مدرسان برای سیستم مدیریت یادگیری مودل
استاد راهنما: دکتر منصوره اژه‌ای     استاد مشاور: دکتر محمدرضا شعرباف
بیشتر

سید آرمان طاهری

دانشجوی کارشناسی ارشد

شروع دوره: مهر 1400
عنوان پايان‌نامه: تحلیل جریان‌های داده‌ی بین‌برنامه‌ای اندروید به‌کمک فنون مدل‌رانده جهت تشخیص نشت اطلاعات
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر بهروز ترک لادانی
بیشتر

دانش‌آموختگان

سمانه حسین دوست

دکترا

شروع دوره: مهرماه 1396
پایان دوره: اسفند 1402
عنوان پايان‌نامه: چارچوبی مدل‌رانده برای مدل‌سازی و ارزیابی راهبردهای هماهنگی برای واکنش به بحران
استاد راهنما: دکتر بهمن زمانی     استاد راهنمای دوم: دکتر افسانه فاطمی
بیشتر

میثم کریمی

دکترا

شروع دوره: مهرماه 1396
پایان دوره: بهمن‌ماه 1402
عنوان پايان‌نامه: چارچوبی جهت توليد مدل در آزمون تبديل مدل با استفاده از الگوريتم‌های فراابتكاری
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر خاویر ترویا
بیشتر

سارا قدیری

کارشناسی ارشد

شروع دوره: مهر 1399
پایان دوره: دی 1402
عنوان پايان‌نامه: رویکردی مدل‌رانده برای طراحی و توسعه‌ی دوقلوهای دیجيتال در دامنه آلودگی هوا
استاد راهنما: دکتر بهمن زمانی
بیشتر

فرشته هادیان

کارشناسی ارشد

شروع دوره: مهر 1399
پایان دوره: آذر 1402
عنوان پايان‌نامه: توسعه‌ی مدل‌رانده برنامه‌های کاربردی مدیریت وظایف مبتنی بر بازی‌وارسازی
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر لیلا صمیمی دهکردی
بیشتر

زهرا اصلانی

کارشناسی ارشد

شروع دوره: مهر 1399
پایان دوره: شهریور 1402
عنوان پايان‌نامه:چارچوبی مدل‌رانده برای مدل‌سازی تعاملات در دامنه‌ی خانه هوشمند
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر علی بهلولی
بیشتر

امیررضا پاینده

کارشناسی ارشد

شروع دوره: مهر 1400
پایان دوره: شهریور 1402
عنوان پايان‌نامه:چارچوبی مدل‌رانده جهت تولید کد سامانه بازی در آنریل انجین با تمرکز بر سامانه صفت
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی       استاد مشاور: دکتر محمدرضا شعرباف
بیشتر

زهره هاشمیان

کارشناسی ارشد

شروع دوره: مهر 1399
پایان دوره: تیر 1402
عنوان پايان‌نامه: چارچوبی مدل‌رانده برای تولید سیستم‌های اطلاعات جغرافیایی مبتنی بر وب
استاد راهنما: دکتر بهمن زمانی
بیشتر

محمدرضا اسدی

کارشناسی ارشد

شروع دوره: مهر 1398
پایان دوره: بهمن 1401
عنوان پايان‌نامه: توسعه‌ی مدل‌رانده‌ی افزونه‌های سرویس‌گرای وردپرس
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر حسین مرادی
بیشتر

کیمیا کلاهدوز

کارشناسی ارشد

شروع دوره: مهر 1398
پایان دوره: بهمن 1401
عنوان پايان‌نامه: وارسی رسمی مدل‌های BPMN با استفاده از تولید خودکار قیود OCL
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر کوین لانو
بیشتر

عاطفه نیرومند

دکترا

شروع دوره: مهرماه 1397
پایان دوره: دی‌ماه 1401
عنوان پايان‌نامه: چارچوبی یکپارچه‌ مبتنی بر مدل جهت تحلیل امنیتی ارتباطات بین برنامه‌ای در برنامه‌های اندروید
استاد راهنما: دکتر بهمن زمانی       استادان مشاور: دکتر بهروز ترک لادانی - دکتر ژک کلین
موقعیت فعلی: پژوهشگر پسادکتری در مؤسسه‌ی علم و فناوری لوکزامبورگ (LIST)
بیشتر

محمدرضا شعرباف

دکترا

شروع دوره: مهرماه 1395
پایان دوره: آبان‌ماه 1401
عنوان پايان‌نامه: چارچوبی جهت مدیریت نیمه خودکار تداخل‌ در مدل‌سازی همکارانه برخط و برون خط
استاد راهنما: دکتر بهمن زمانی     استاد راهنمای دوم: دکتر ژقسون سونیه
موقعیت فعلی: استادیار دانشگاه اصفهان
بیشتر

محمدرضا طالبی

کارشناسی ارشد

شروع دوره: مهرماه 1398
شروع دوره: شهریورماه 1401
عنوان پايان‌نامه: چارچوبی مدل‌رانده جهت تولید خودکار کُد امن قرارداد هوشمند اِتریم
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر بهروز ترک لادانی
بیشتر

شایان بدیعی

کارشناسی ارشد

شروع دوره: مهرماه 1398
پایان دوره: بهمن‌ماه 1400
عنوان پايان‌نامه: ارائه‌ی چارچوبی کم‌کد جهت توسعه‌ی چت‌بات‌های آموزشی
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر لیلا صمیمی دهکردی
بیشتر

سید محمدسجاد کسائی

کارشناسی ارشد

شروع دوره: مهرماه 1398
پایان دوره: بهمن‌ماه 1400
عنوان پايان‌نامه: ارائه چارچوبی جدید جهت ادغام سازگار n طرفه مدل
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: دانشجوی دکتری در دانشگاه اصفهان
بیشتر

حیان سلمان-حسن

دکترا

شروع دوره: بهمن‌ماه 1395
پایان دوره: آبان‌ماه 1400
عنوان پايان‌نامه: شناسایی و غلبه بر فریب‌ها در بدافزارهای اندرویدی با استفاده از روش‌های کامپایلری
استاد راهنما: دکتر بهروز ترک لادانی     استاد راهنمای دوم: دکتر بهمن زمانی
موقعیت فعلی: استادیار دانشگاه البعث سوریه
بیشتر

عباس رحیمی

کارشناسی ارشد

شروع دوره: مهرماه 1398
پایان دوره: شهریورماه 1400
عنوان پايان‌نامه: ارائه چارچوبی مبتنی بر یادگیری عمیق برای تولید مدل در مهندسی مدل‌رانده
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر ماسیمو تیسی
موقعیت فعلی: دانشجوی دکتری در دانشگاه یوهانس کپلر لینز
بیشتر

سیده هستی موسوی

کارشناسی ارشد

شروع دوره: مهرماه 1397
پایان دوره: شهریورماه 1400
عنوان پايان‌نامه: چارچوبی مدل‌رانده برای بازی‌وارسازی آموزش برنامه‌نویسی مقدماتی
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد مشاور: دکتر لیلا صمیمی دهکردی
بیشتر

مهدی ضیایی

کارشناسی ارشد

شروع دوره: مهرماه 1397
پایان دوره: اسفندماه 1399
عنوان پايان‌نامه: چارچوبی مدل رانده جهت تولید کد برای سیستم های نظارت مبتنی بر بستر FPGA در صنعت نسل ۴.۰
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر علی بهلولی
بیشتر

محمد هادی دهقانی

کارشناسی ارشد

شروع دوره: مهرماه 1397
پایان دوره: بهمن‌ماه 1399
عنوان پايان‌نامه: رویکردی مبتنی بر مهندسی معکوس مدل‌رانده جهت استخراج ریزسرویس‌ها از معماری‌های نرم‌افزاری یکپارچه
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
موقعیت فعلی: دانشجوی دکتری در دانشگاه یوهانس کپلر لینز و عضو تیم تحقیقاتی پروژه Lowcomote
بیشتر

حنان یوسف-ضاهر

کارشناسی ارشد

شروع دوره: بهمن‌ماه 1396
پایان دوره: دی‌ماه 1399
عنوان پايان‌نامه: يک زبان مدل‌سازی خاص دامنه برای مدل‌سازی برنامه‌های تخليه‌ی اضطراری
استاد راهنما: دکتر بهمن زمانی
بیشتر

مریم مهرابی

کارشناسی ارشد

شروع دوره: مهرماه 1396
پایان دوره: مهرماه 1399
عنوان پايان‌نامه: چارچوبی مدل‌رانده برای توسعه‌ی برنامه‌های کاربردی نظارت بر سلامت مبتنی بر اینترنت اشیاء
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: دانشجوی دکتری در دانشگاه کنکوردیا
بیشتر

حسین مرادی

دکترا

شروع دوره: مهرماه 1392
پايان دوره: شهریورماه 1399
عنوان پايان‌نامه: توسعه مدل‌رانده ترکيب آگاه به زمينه سرويس
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر کامران زمانی‌فر
موقعیت فعلی: عضو هیئت علمی دانشگاه صنعتی بیرجند
بیشتر

سارا ادیب

کارشناسی ارشد

شروع دوره: مهرماه 1396
پایان دوره: خردادماه 1399
عنوان پايان‌نامه: چارچوبی مدل‌رانده برای توسعه‌ی برنامه‌های کاربردی توصیه‌گر آگاه به زمينه
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: مهندس نرم‌افزار در شرکت بین‌المللی مهندسی سیستم‌ها و اتوماسیون (ایریسا)
بیشتر

محمد درخشندی

کارشناسی ارشد

شروع دوره: مهرماه 1395
پایان دوره: شهریورماه 1398
عنوان پايان‌نامه: استفاده از نگرش مدل‌رانده جهت توسعه‌ی بازی‌های دوبعدی چندنفره‌ی مبتنی بر اندروید
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
بیشتر

فضیلت حججی نجف آبادی

دکترا

شروع دوره: مهرماه 1392
پايان دوره: تیرماه 1398
عنوان پايان‌نامه: يک چارچوب ردگيری مدل برای تحليل رفتار نرم‌­افزار
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر عبدالوهاب هم‌الحاج
موقعیت فعلی: پژوهشگر پسادکتری در دانشگاه لیمِریک، ایرلند
بیشتر

مرضیه قربانی

کارشناسی ارشد

شروع دوره: مهرماه 1395
پایان دوره: تیرماه 1398
عنوان پايان‌نامه: ارائه‌ی راهکاری جدید جهت انجام تبدیل‌های ETL به صورت افزایشی
استاد راهنما: دکتر بهمن زمانی
بیشتر

لیلا صمیمی دهکردی

دکترا

شروع دوره: مهرماه 1391
پايان دوره: فروردین‌ماه 1398
عنوان پايان‌نامه: توسعه‌ی مدل‌رانده‌ی تبديل مدل دوسويه
استاد راهنما: دکتر بهمن زمانی     استاد مشاور: دکتر شکوفه کلاه‌دوز رحیمی
موقعیت فعلی: استادیار دانشگاه شهرکرد
بیشتر

سرور جهان‌بین

کارشناسی ارشد

شروع دوره: مهرماه 1395
پایان دوره: اسفندماه 1397
عنوان پايان‌نامه: رویکردی جدید برای تولید مدل‌های آزمون در آزمون تبدیل مدل
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: دانشجوی دکتری در دانشگاه یورک و عضو تیم تحقیقاتی پروژه Lowcomote
بیشتر

ندا کارشناس

کارشناسی ارشد

شروع دوره: مهرماه 1394
پایان دوره: شهریورماه 1397
عنوان پايان‌نامه: راهکاری جدید جهت بهبود اعمال الگوهای تبدیل در زبان تبدیل مدل با بکارگیری تبدیل‌های مرتبه بالاتر
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی     استاد راهنمای دوم: دکتر بهمن زمانی
بیشتر

سوگل فرید معیر

کارشناسی ارشد

شروع دوره: مهرماه 1394
پایان دوره: شهریورماه 1397
عنوان پايان‌نامه: بهبود بهینه‌سازی مبتنی بر جستجو در تبدیل مدل برای مسئله‌ی تخصیص مسئولیت به کلاس‌ها
استاد راهنما: دکتر شکوفه کلاه‌دوز رحیمی
موقعیت فعلی: دانشجوی دکتری در دانشگاه مونترال و عضو گروه پژوهشی GEODES
بیشتر

بنفشه عزیزی

کارشناسی ارشد

شروع دوره: مهرماه 1394
پايان دوره: بهمن‌ماه 1396
عنوان پايان‌نامه: روشی نوین برای وارسی تبدیل‌های اپسیلون
استاد راهنما: دکتر بهمن زمانی       استاد راهنمای دوم: دکتر شکوفه کلاه‌دوز رحیمی
موقعیت فعلی: برنامه‌نویس PHP در شرکت مبنا کلاود
بیشتر

عاطفه نیرومند

کارشناسی ارشد

شروع دوره: مهرماه 1394
پايان دوره: دی‌ماه 1396
عنوان پايان‌نامه: راهکاری مبتنی بر مهندسی معکوس مدل‌رانده برای ارزیابی سیاست‌های کنترل دسترسی پیاده‌سازی شده
استاد راهنما: دکتر بهمن زمانی       استاد مشاور: دکتر بهروز ترک لادانی
بیشتر

علیرضا روحی

دکترا

شروع دوره: مهرماه 1390
پايان دوره: شهریورماه 1396
عنوان پايان‌نامه: ارائه‌ی فرایندی برای تولید وارس زبان الگو
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: استادیار دانشگاه شهید مدنی آذربایجان
بیشتر

سمانه حسین دوست

کارشناسی ارشد

شروع دوره: مهرماه 1393
پايان دوره: اردیبهشت‌ماه 1396
عنوان پايان‌نامه: چارچوبی مدل‌رانده برای توسعه‌ی سیستم‌های چندعاملی در محیط‌های واکنش اضطراری
استاد راهنما: دکتر بهمن زمانی       استاد راهنمای دوم: دکتر افسانه فاطمی
موقعیت فعلی: دانشجوی دکتری در دانشگاه اصفهان
بیشتر

زهرا جعفری فشارکی

کارشناسی ارشد

شروع دوره: مهرماه 1393
پايان دوره: بهمن ماه 1395
عنوان پایان‌نامه: ارائه‌ی يک فرامدل گرافيکی برای مديريت بحران با استفاده از سيستم‌های چندعاملی
استاد راهنما: دکتر بهمن زمانی       استاد مشاور: دکتر افسانه فاطمی
بیشتر

امیر سواری

کارشناسی ارشد

شروع دوره: مهرماه 1392
پايان دوره: دی‌ماه 1395
عنوان پايان‌نامه: ارائه‌ی یک رویکرد مدل‌رانده جهت تولید خودکار موارد آزمون
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: مهندس نرم‌افزار در هولدینگ فراکاو
بیشتر

محمدرضا شعرباف

کارشناسی ارشد

شروع دوره: مهرماه 1393
پايان دوره: شهریورماه 1395
عنوان پايان‌نامه: راهكاری جديد جهت کشف و رفع تداخل‌های معنايی در نسخه‌بندی مدل
استاد راهنما: دکتر بهمن زمانی
بیشتر

رحیم لطفی

کارشناسی ارشد

شروع دوره: مهرماه 1392
پايان دوره: مهرماه 1394
عنوان پايان‌نامه: الگويی جديد برای طراحی معماری سيستم‌های سازمانی با هدف تسهيل توليد خودکار کد
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: برنامه‌نویس در گروه نرم‌افزاری هیلتن
بیشتر

مهسا سادات پناهنده

کارشناسی ارشد

شروع دوره: مهرماه 1391
پايان دوره: بهمن ماه 1393
عنوان پايان‌نامه: روشی جديد جهت بهبود چرخه‌ی حيات تبديل مدل
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: دانشجوی دکتری و پژوهشگر در دانشگاه آلبرتا
بیشتر

شیوا رسول‌زاده شیخ

کارشناسی ارشد

شروع دوره: مهرماه 1391
پايان دوره: بهمن ماه 1393
عنوان پايان‌نامه: ارائه‌ی یک نمایه یوام‌ال برای الگوهای معماری سیستم‌های سازمانی
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: توسعه‌دهنده نرم‌افزار در شرکت موج شهر
بیشتر

طاهره آدم‌زاده

کارشناسی ارشد

شروع دوره: مهرماه 1391
پايان دوره: بهمن ماه 1393
عنوان پايان‌نامه: یک زبان مدل‌سازی به‌منظور توسعه‌ی سیستم‌های چندعاملی برای محیط‌های واکنش اضطراری
استاد راهنما: دکتر بهمن زمانی       استاد مشاور: دکتر افسانه فاطمی
بیشتر

محمدرضا عضدی

کارشناسی ارشد

شروع دوره: مهرماه 1390
پايان دوره: بهمن ماه 1393
عنوان پايان‌نامه: مدل‌سازی سیستم‌های سرویس‌گرا با استفاده از روش‌های مدل‌رانده
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: سازمان فرهنگی تفریحی شهرداری اصفهان
بیشتر

امین رضایی

کارشناسی ارشد

شروع دوره: مهرماه 1390
پايان دوره: بهمن ماه 1392
عنوان پايان‌نامه: روشی جدید جهت انتخاب بهینه‌ی موارد آزمون بر اساس ماشین حالت UML
استاد راهنما: دکتر بهمن زمانی
موقعیت فعلی: مدیر فنی در شرکت بین‌المللی مهندسی سیستم‌ها و اتوماسیون (ایریسا)
بیشتر

محبوبه تقی‌زاده

کارشناسی ارشد

شروع دوره: مهرماه 1390
پايان دوره: بهمن ماه 1392
عنوان پايان‌نامه: روشی جديد برای خودکارسازی آزمون کنترل دسترسی به شيوه‌ی مبتنی بر مدل
استاد راهنما: دکتر بهمن زمانی       استاد مشاور: دکتر بهروز ترک لادانی
بیشتر