سرپرست گروه

بهمن زمانی

سرپرست گروه

98-31-37934537+

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

همکاران

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

همکار

98-31-37935641+

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

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

همکار

98-31-37934528+

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

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

زهرا رجایی

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

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

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

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

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

میثم کریمی

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

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

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

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

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

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

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

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

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

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

98-31-37934540+

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

حسین مرادی

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

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

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

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

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

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

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

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

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

مهدی ضیایی

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

شروع دوره: مهر 1397
عنوان پايان‌نامه: --
استاد راهنما: دکتر بهمن زمانی
بیشتر

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

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

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

مریم مهرابی

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

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

سارا ادیب

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

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

محمد درخشندی

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

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

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

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

دکترا

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

مرضیه قربانی

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

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

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

دکترا

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

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

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

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

ندا کارشناس

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

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

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

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

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

بنفشه عزیزی

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

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

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

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

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

علیرضا روحی

دکترا

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

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

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

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

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

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

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

امیر سواری

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

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

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

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

983137934540+

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

رحیم لطفی

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

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

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

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

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

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

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

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

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

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

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

محمدرضا عضدی

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

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

امین رضایی

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

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

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

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

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