جزئیات زمان‌بندی کارگاه:
معرفی سخنرانان:
اسلایدها:
- روز اول — بخش اول (دکتر زمانی)
- روز اول — بخش دوم (مهندس حججی)
- روز اول — بخش سوم (دکتر محمودزاده و مهندس موسوی)
- روز دوم — بخش اول (مهندس فضلی)
- روز دوم — بخش دوم (دکتر افشارچی)
- روز دوم — بخش سوم (مهندس توسلی)
تصاویر:
پوستر کارگاه را از اینجا ببینید.
لطفاً هرگونه مشکل در ثبت‌نام را زیر همین پست گزارش نمایید.
| شیوه‌ی ثبت‌نام | 1- از طریق سایت ایوند به نشانی: https://bit.ly/2QAXL66
2- از طریق ثبت‌نام در مرکز آموزش‌های آزاد دانشگاه اصفهان:
|
| هدف | هدف اصلی این دوره، آشنایی مهندسان و شاغلان صنعت با روش‌ها و ابزارهای پیشرفته‌ی مدل‌سازی، وارسی و آزمون سیستم‌های نرم‌افزاری است. باوجودی‌که تمرکز این دوره بیش‌تر بر کارهای عملی است تا مطالب تئوری، دانشجویان و پژوهش‌گران دانشگاهی نیز می‌توانند در آن شرکت نمایند. |
| مدت | این دوره در دو روز تحت عنوان «روز وارسی» و «روز آزمون» برگزار می‌شود. هر روز شامل دو بخش نیم‌روزه (صبح و بعدازظهر) می‌شود. |
| سخنرانان و مدرسان | سخنرانان و مدرسان حاضر در این دوره، متخصصان سیستم‌های نرم‌افزاری از دانشگاه‌های معتبر داخلی (دانشگاه اصفهان، دانشگاه صنعتی اصفهان، دانشگاه زنجان) و هم‌چنین از دانشگاه‌های معتبر خارجی هستند. |
| پیش‌نیازهای علمی | به‌طور کلی، لازم است شرکت‌کنندگان در این دوره، پیش‌زمینه‌ی علمی یا صنعتی در توسعه‌ی سیستم‌های نرم‌افزاری داشته باشند و با مفاهیم زیر آشنایی داشته باشند.
|
| تاریخ و زمان برگزاری | روز اول: چهارشنبه، 29 خردادماه (19 ژوئن 2019)، از ساعت 08:00 الی 18:00 روز دوم: پنج‌شنبه، 30 خردادماه (20 ژوئن 2019)، از ساعت 08:00 الی 18:00 |
| هزینه‌ی ثبت‌نام | 1- از طریق ثبت‌نام در ایوند:
2- از طریق ثبت نام در سایت دانشگاه:
|
| نرم‌افزار/ سخت‌افزار مورد نیاز | لازم است شرکت‌کنندگان لپ‌تاپ‌هایی با مشخصات زیر را همراه داشته باشند:
|
برنامه زمان‌بندی دوره:
برنامه روز اول
| وارسی پویا و اعتبارسنجی مدل‌های اجرایی | |
|---|---|
| سخنرانان | مهندس فضیلت حججی و دکتر بهمن زمانی از دانشگاه اصفهان |
| قسمت اول | مدل، فرامدل و تبدیل مدل |
| قسمت دوم | اجرای مدل و مدل‌های اجرایی |
| قسمت سوم | مدیریت ردیابی اجرا برای پشتیبانی از وارسی و اعتبارسنجی پویا |
| مدل‌سازی و وارسی برنامه‌های هم‌زمان | |
| سخنرانان | مهندس حسن موسوی و دکتر الهام محمودزاده از دانشگاه صنعتی اصفهان |
| قسمت اول | مدل‌سازی برنامه‌های هم‌زمان حافظه‌ی مشترک و ارسال پیام |
| قسمت دوم | تبیین رهایی از اشکالات هم‌زمانی (مانند مسابقه برای داده‌ها، بن‌بست، گرسنگی) |
| قسمت سوم | وارسی برنامه‌های هم‌زمان و مصورسازی شکست |
برنامه روز دوم
| آزمون ساختاری و تولید داده‌ی آزمون از کد | |
|---|---|
| سخنرانان | مهندس ابراهیم فضلی از دانشگاه زنجان |
| قسمت اول | مبانی آزمون ساختاری |
| قسمت دوم | تولید خودکار داده‌ی آزمون |
| قسمت سوم | حل قیود |
| آزمون در ابعاد صنعتی | |
| سخنرانان | مهندس حسین توسلی و دکتر محسن افشارچی از دانشگاه زنجان |
| قسمت اول | از آزمون واحد تا آزمون کارآیی |
| قسمت دوم | ابزارهای آزمون نرم‌افزار در ابعاد صنعتی |
| قسمت سوم | آزمون نرم‌افزار به‌صورت مرحله به مرحله (نمایش زنده) |
