سرپرست گروه

بهمن زمانی

سرپرست گروه

98-31-37934537+

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

همکاران

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

همکار

98-31-37935641+

شکوفه کلاهدوز رحيمی مقطع دکترای خود را در رشته‌ی علوم کامپيوتر در دانشگاه کينگز کالج لندن گذرانده است. دکتری او در زمينه‌ی مهندسي مدل‌رانده و به‌طور خاص تبديل مدل است. کار او نشئت گرفته از معيارهای کيفيت تبديل با استفاده از استانداردهای بين‌المللي کيفيت نرم‌افزار (استانداردهای کيفيت ISO/IEC)، و تطبيق اين استانداردها با حوزه‌ی تبديل‌ها می‌باشد. وی همچنين دارای مدرک کارشناسی ارشد سيستم‌های محاسباتی و اينترنت از دانشگاه کينگز کالج لندن است. او مقطع کارشناسی خود را در رشته‌ی مهندسی سخت افزار در شهر اصفهان (ايران) گذرانده است.
بیشتر

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

همکار

98-31-37934528+

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

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

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

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

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

میثم کریمی

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

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

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

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

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

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

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

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

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

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

98-31-37934540+

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

حسین مرادی

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

مهدی ضیایی

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

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

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

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

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

مریم مهرابی

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

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

سارا ادیب

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

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

محمد درخشندی

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

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

مرضیه قربانی

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

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

سرور جهانبین

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

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

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

ندا کارشناس

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

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

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

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

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

بنفشه عزیزی

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

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

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

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

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

علیرضا روحی

دکترا

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

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

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

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

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

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

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

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

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

983137934540+

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

امیر سواری

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

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

رحیم لطفی

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

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

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

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

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

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

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

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

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

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

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

محمدرضا عضدی

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

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

امین رضایی

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

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

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

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

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