دکتر سیدحسن میریان حسین آبادی
![دکتر سیدحسن میریان حسین آبادی گروه مهندسی کامپیوتر، دانشگاه صنعتی شریف، ایران دکتر سیدحسن میریان حسین آبادی گروه مهندسی کامپیوتر، دانشگاه صنعتی شریف، ایران](/media/r/183559.webp?rnd=0.779768726140623)
دکتر سیدحسن میریان حسین آبادی
Dr. Seyed Hassan Mirian Hosseinabadi
گروه مهندسی کامپیوتر، دانشگاه صنعتی شریف، ایران
اطلاعات فوق آخرین داده هایی است که توسط مجموعه سیویلیکا برای مشخصات ایشان ثبت شده است.
ساختار اجرایی و هیات علمی کنفرانسها، ژورنالها و مجلات تخصصی ایران
دکتر سیدحسن میریان حسین آبادی
Dr. Seyed Hassan Mirian Hosseinabadi
گروه مهندسی کامپیوتر، دانشگاه صنعتی شریف، ایران
اطلاعات فوق آخرین داده هایی است که توسط مجموعه سیویلیکا برای مشخصات ایشان ثبت شده است.
لیست مقالات زیر به صورت خودکار بر اساس نام و نام خانوادگی از مجموعه مقالات نمایه شده در پایگاه سیویلیکا استخراج شده است و ممکن است به دلیل تشابه اسمی، دقیق نباشد.
مقالات ژورنالیردیف | عنوان مقاله | ژورنال منتشر شده | شماره و دوره |
---|---|---|---|
1 | انتخاب موارد آزمون مبتنی بر روش تولید آزمون رانه (دریافت مقاله) | دوفصلنامه فناوری اطلاعات و ارتباطات ایران | دوره: 16، شماره: 59 |
2 | رویکردی مدل-رانه برای خودکارسازی آزمون رگرسیون با استفاده از تبدیل مدل افزایشی (دریافت مقاله) | فصلنامه مهندسی برق دانشگاه تبریز | دوره: 49، شماره: 4 |
ردیف | عنوان مقاله | عنوان کنفرانس |
---|---|---|
1 | ارائه یک زبان توصیف معماری جدید برای استفاده در روشهای ارزیابی معماری نرم افزار (دریافت مقاله) | سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
2 | ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
3 | از توصیف به زبان Z تا برنامه نمونه (دریافت مقاله) | پانزدهیمن کنفرانس مهندسی برق ایران |
4 | استخراج جنبه از مدل طراحی نرمافزار (دریافت مقاله) | دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
5 | افزودن ویژگی های امنیتی به فرآیند های چابک (دریافت مقاله) | سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
6 | الگوریتم حافظ وابستگی های تابعی برای تبدیل شمای اکس.ام.ال* به شمای رابطه ای (دریافت مقاله) | یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
7 | Process Agent: A Solution for Workflow Automation (دریافت مقاله) | دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
8 | بررسی نحوه بیان گونه های مختلف عدم قطعیت در تئوری انواع مارتین لوف (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
9 | بهبود پیچیدگی زمانی محاسبه معیار پوشش حالت برنامه (دریافت مقاله) | شانزدهمین کنفرانس بین المللی فناوری اطلاعات، کامپیوتر و مخابرات |
10 | تبدیل خودکار یک زبان پرس وجوی شی گرا به یک زبان پرس وجوی رابطه ای (دریافت مقاله) | نهمین کنفرانس سالانه انجمن کامپیوتر ایران |
11 | ترجمه حلقه های تودرتو در پرس و جوهای Xquery به عبارت های SQL (دریافت مقاله) | سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
12 | توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z (دریافت مقاله) | هشتمین کنفرانس سالانه انجمن کامپیوتر ایران |
13 | توصیف صوری سیستم های احتمالاتی در Z (دریافت مقاله) | هشتمین کنفرانس سالانه انجمن کامپیوتر ایران |
14 | چهارچوبی برای مدلسازی و ارزیابی صوری ویژگیهای معماری نرمافزاربا تاکید بر ویژگیهای کیفیتی (دریافت مقاله) | یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
15 | خط تطبیق: خط تولیدی برای نرم افزارهای تطبیق پذیر در زمان اجرا (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
16 | روشی برای ارزیابی کیفیت شمای پایگاه داده رابطه ای (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
17 | روشی برای مقایسه معماریهای نرمافزار (دریافت مقاله) | سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
18 | رهیافتی به مساله عدم قطعیت در تئوری انواع مارتین لوف (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
19 | زبان مدلسازی گردش کار (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
20 | طراحی تکاملی شمای پایگاه داده رابطه ای با استفادها ز ارزیابی کیفیت (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
21 | مجتمع سازی داده ها در محیط p2p (دریافت مقاله) | چهاردهمین کنفرانس مهندسی برق ایران |
22 | مدلی برای ارزیابی قابلیت اطمینان سیستمهای چند لایه تحت وب (دریافت مقاله) | سومین کنفرانس بین المللی فناوری اطلاعات و دانش |
23 | معرفی سیستمهای ایی - آر - پی و روش ارزیابی و انتخاب آن برای سازمان ها (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
24 | یک روش تولید آزمون رانه بهبود یافته (دریافت مقاله) | کنفرانس ملی فناوری های نوین در مهندسی برق و کامپیوتر |
25 | یک زبان توصیف معماری برای سیستم های قابل بازپیکربندی پویا (دریافت مقاله) | دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
26 | یک مدل معماری برای سیستمهای قابل باز پیکربندی با استفاده از مولفه های پوشش دار (دریافت مقاله) | یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
کلیه حقوق برای پایگاه فعالان علم و پژوهش ایران محفوظ استsakhtar.com