دانشگاه صنعتی شريف
دانشکده مهندسی کامپيوتر
گروه
نرمافزار
فهرست پروژههای مصوب کارشناسی ارشد
فهرست براساس نام استاد راهنما و سپس دانشجو مرتب شده است
| دانشجو | استاد راهنما | عنوان پروژه | استاد مشاور | تاريخ تصويب | گروه |
| کامليا اسد زاده منجيلی | دکتر جليلی | کنترل و مديريت بازپيکربندی برای يک سيستم مبتنی بر مولفه موجو در شبکی محاسبات فراگير | دکتر ميريان | 83/8/30 | 2 |
| علیرضا اميديان | دکتر جليلی | رده بندی و مدلسازی آسيبپذيریهای شناختهشده شبکههای کامپيوتری | دکتر موقر | 83/6/14 | 1 |
| محمدرضا ذاکری نسب | دکتر جليلی | مدلسازی توپولوژی شبکه برای تحليل آسيبپذيریهای فراساختار شبکه | دکتر ميريان | 83/6/14 | 1 |
| امير رنجبر | دکتر جليلی | اتمام تراکنش در محيطهای پردازشی فراگير | دکتر ميريان | 83/6/14 | 1 |
| نفيسه فکرآزاد نوبخت | دکتر جليلی | انتقال حالت در باز پيکربندی زمان اجرا برای مولفههای يک سيستم توليدکننده و مصرف کننده | دکتر قدسی | 83/8/30 | 2 |
| هادی همتی | دکتر جليلی | اطمينان از بازپيکربندی در زمان اجرا برای يک سيستم فراگير مبتنی بر مولفه | دکتر ميريان | 83/6/14 | 1 |
| مجتبی اميرخانی | دکتر حبيبی | مقايسه کارايی شکلدهیهای مختلف شبکههای P2P به عنوان زير ساخت سرويس وب معنايی | دکتر قدسی | 83/7/4 | 1 |
| آتسز ايواز | دکتر حبيبی | ارزيابی مبتنی بر شبيهسازی برای مدلهای تجاری ارائه شده توسط UML | دکتر ميريان | 83/8/16 | 2 |
| علی رهنما | دکتر حبيبی | Ontology Sharing در شبکههای P2P | دکتر ابوالحسنی | 83/8/16 | 2 |
| سعدا... سبحانی | دکتر حبيبی | تبديل توصيف UML معماری نرمافزاری به مدل کارايی شبکههای صف لايهلايه (LQN) و توليد بازخورد از نتايج ارزيابی کارايی | دکتر ميريان | 83/7/18 | 1 |
| کاوان صديقيانی | دکتر حبيبی | طراحی عاملهای فازی برای رقابت و همکاری در اجتماعات عاملهای پشتيبان تصميم | دکتر باقری | 83/7/4 | 1 |
| حسين فرداد | دکتر حبيبی | شبيهسازی موازی مخازن نفتی برروی يک کلاستر | دکتر موقر | 83/24/5 | 1 |
| زهرا ايمانی مهر | دکتر قدسی | محاسبه خصوصيات aggregate در شبکههای P2P | دکتر ابوالحسنی | 1 | |
| اميرعلی خسروی دهکردی | دکتر قدسی | دادهساختارهای جنبشی در مسائل هندسه محاسباتی | دکتر جمزاد | 83/8/30 | 2 |
| شروين دانشپژوه | دکتر قدسی | شناسايی اجتماعات در وب | دکتر ابوالحسنی | 83/8/30 | 2 |
| راحله سالاری ثانی | دکتر قدسی | توازن بار در شبکههای P2P | دکتر ابوالحسنی | 83/7/18 | 1 |
| محسن کاميار | دکتر قدسی | تتنظيم تطبيقی دقت دادهها در ساختارهای تکرار داده متقارن در شبکههای P2P | دکتر حبيبی | 83/7/4 | 1 |
| محمد مهدی جاقوری | دکتر موقر | درستیيابی مدلهای ربکا با استفاده از روشهای ترتيب جزئی و متقارن | دکتر ميريان | 83/6/14 | 1 |
| محمود فرخيان | دکتر موقر | مدلسازی ترکيبی مدلهای ربکا با استفاده از اتوماتای با قابليت | دکتر ميريان | 83/7/18 | 1 |
| سيد علیرضا کاردانی | دکتر موقر | مسيريابی سلسلهمراتبی در شبکههای موبايل Ad Hoc | دکتر قدسی | 83/7/18 | 1 |
| نوريابگی | دکتر موقر | درستیيابی سيستمهای احتمالی | دکتر ميريان | 83/7/18 | 1 |
| جواد تقیزاده نائينی | دکتر ميريان | توليد خودکار دادهی آزمون از توصيف صوری نرمافزار | دکتر موقر | 83/8/16 | 2 |
| محمد صادق مکارم | دکتر ميريان | توصيف و وارسی صوری ويژگیهای معماری نرمافزار | دکتر جليلی | 83/6/14 | 1 |