مقالات در همایش ها
# | عنوان مقاله | نویسندگان | همایش | تاریخ برگزاری همایش |
---|---|---|---|---|
۴۱ | Makespan Improvement of PSO-based Dynamic Scheduling in Cloud Environment | ازاده خلیلی اردلی,سید مرتضی بابامیر | بیست و سومین کنفرانس مهندسی برق ایران | 2015-5-10 |
۴۲ | Formal Verification of UML Statecharts using the LOTOS Formal Language | محمد جوانی,بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر | 2nd International Conference on Knowledge-based Engineering and Innovation | 2015-11-5 |
۴۳ | ارائه یک لایه رمزنگاری بر روی مستند توصیف وب سرویس | ارزو میرطالبی,سید مرتضی بابامیر | دومین کنفرانس جبر محاسباتی، نظریه محاسباتی اعداد و کاربردهای ایران | 2015-10-13 |
۴۴ | Automatic Verification of UML State Chart by BOGOR Model Checking Tool | بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر | 2nd International Conference on Knowledge-based Engineering and Innovation | 2015-10-13 |
۴۵ | آزمون افراز فضای ورودی مبتنی بر توصیف رسمی | مهشید هلالی مقدم,سید مرتضی بابامیر | دومین کنفرانس دانش پژوهان کامپیوتر و فنآوری اطلاعات | 2014-11-19 |
۴۶ | Medical Software Assurance for Operational Performance Accuracy Using Software Agents | نگار مجمع,سید مرتضی بابامیر | 4th International Conference on Computer and Knowledge Engineering | 2014-10-29 |
۴۷ | Mutation Score Evaluation in Terms of Object-Oriented Metrics | مهشید هلالی مقدم,سید مرتضی بابامیر | 4th International Conference on Computer and Knowledge Engineering | 2014-10-29 |
۴۸ | شناسایی مدل رانده سرویسها باخوشهبندی بر اساس چسبندگی، پیوستگی و دانهبندی | محمد دقاق زاده,سید مرتضی بابامیر,علیرضا فرجی ارمکی | همایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید | 2014-1-30 |
۴۹ | مروری بر آزمون نرمافزار | حامد قدیریان,سید مرتضی بابامیر | همایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید | 2014-1-30 |
۵۰ | تولید خودکار دادهآزمون از ضابطه¬های رسمی جبری | فاطمه کریمیان خوزانی,سید مرتضی بابامیر,وجیهه نیکخواه | همایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید | 2014-1-30 |
۵۱ | آزمون نرم افزار با رویکرد الگوریتم ژنتیک | شیما امیرصدری,سید مرتضی بابامیر | دهمین همایش ملی کامپیوتر و سیستم های هوشمند | 2013-9-18 |
نمایش ۴۱ تا ۵۱ مورد از کل ۵۱ مورد.