جزئیات زمان‌بندی کارگاه:

 

معرفی سخنرانان:

 

اسلایدها:
  1. روز اول — بخش اول (دکتر زمانی)
  2. روز اول — بخش دوم (مهندس حججی)
  3. روز اول — بخش سوم (دکتر محمودزاده و مهندس موسوی)
  4. روز دوم — بخش اول (مهندس فضلی)
  5. روز دوم — بخش دوم (دکتر افشارچی)
  6. روز دوم — بخش سوم (مهندس توسلی)

 

تصاویر:

 

پوستر کارگاه را از اینجا ببینید.
لطفاً هرگونه مشکل در ثبت‌نام را زیر همین پست گزارش نمایید.

 

شیوه‌ی ثبت‌نام 1- از طریق سایت ایوند به نشانی: http://bit.ly/2QAXL66

2- از طریق ثبت‌نام در مرکز آموزش‌های آزاد دانشگاه اصفهان:

هدف هدف اصلی این دوره، آشنایی مهندسان و شاغلان صنعت با روش‌ها و ابزارهای پیشرفته‌ی مدل‌سازی، وارسی و آزمون سیستم‌های نرم‌افزاری است. باوجودی‌که تمرکز این دوره بیش‌تر بر کارهای عملی است تا مطالب تئوری، دانشجویان و پژوهش‌گران دانشگاهی نیز می‌توانند در آن شرکت نمایند.
مدت این دوره در دو روز تحت عنوان «روز وارسی» و «روز آزمون» برگزار می‌شود. هر روز شامل دو بخش نیم‌روزه (صبح و بعدازظهر) می‌شود.
سخنرانان و مدرسان سخنرانان و مدرسان حاضر در این دوره، متخصصان سیستم‌های نرم‌افزاری از دانشگاه‌های معتبر داخلی (دانشگاه اصفهان، دانشگاه صنعتی اصفهان، دانشگاه زنجان) و هم‌چنین از دانشگاه‌های معتبر خارجی هستند.
پیش‌نیازهای علمی به‌طور کلی، لازم است شرکت‌کنندگان در این دوره، پیش‌زمینه‌ی علمی یا صنعتی در توسعه‌ی سیستم‌های نرم‌افزاری داشته باشند و با مفاهیم زیر آشنایی داشته باشند.

  • آشنایی با زبان مدل‌سازی یکنواخت (UML)
  • آشنایی با زبان‌های برنامه‌نویسی رایج مانند #C/C و جاوا
  • دانش ابتدایی در زمینه‌ی نظریه‌ی گراف (مانند مسیرها، چرخه‌ها، الگوریتم‌های جستجوی گراف مانند BFS و DFS)
  • آشنایی با برنامه‌نویسی توزیع‌شده و چندرشته‌ای به درک بهتر مطالب کمک خواهد کرد اما الزامی نیست.
تاریخ و زمان برگزاری روز اول: چهارشنبه، 29 خردادماه (19 ژوئن 2019)، از ساعت 08:00 الی 18:00
روز دوم: پنج‌شنبه، 30 خردادماه (20 ژوئن 2019)، از ساعت 08:00 الی 18:00
هزینه‌ی ثبت‌نام 1- از طریق ثبت‌نام در ایوند:

  • هزینه‌ی عادی 4,100,000 ریال است که شامل آموزش‌ها و نیز دو وعده ناهار می‌شود.

2- از طریق ثبت نام در سایت دانشگاه:

  • هزینه‌ی کل دوره 3,900,000 ریال است که شامل آموزش‌ها و نیز دو وعده ناهار می‌شود.
  • 50% تخفیف برای دانشجویان
  • 20% تخفیف برای ثبت‌نام گروهی از سازمان‌ها (دو نفر یا بیش‌تر)
نرم‌افزار/ سخت‌افزار مورد نیاز لازم است شرکت‌کنندگان لپ‌تاپ‌هایی با مشخصات زیر را همراه داشته باشند:

  • سیستم‌عامل ویندوز 10/8/7 ( 32 یا 64 بیتی)
  • حداقل RAM با ظرفیت 4 گیگ که البته ظرفیت 8 گیگ توصیه می‌شود.
  • حداقل 4 گیگ فضای خالی در دیسک
  • اکلیپس، جاوا، JRE
  • سیستم‌عامل لینوکس (یا نصب ماشین مجازی لینوکس در سیستم‌عامل ویندوز)
  • GCC, Wish, tcl/tk و پکیج‌های توسعه‌ی نصب‌شده در لینوکس

 


برنامه زمان‌بندی دوره:

 

برنامه روز اول
وارسی پویا و اعتبارسنجی مدل‌های اجرایی
سخنرانان مهندس فضیلت حججی و دکتر بهمن زمانی از دانشگاه اصفهان
قسمت اول مدل، فرامدل و تبدیل مدل
قسمت دوم اجرای مدل و مدل‌های اجرایی
قسمت سوم مدیریت ردیابی اجرا برای پشتیبانی از وارسی و اعتبارسنجی پویا
مدل‌سازی و وارسی برنامه‌های هم‌زمان
سخنرانان مهندس حسن موسوی و دکتر الهام محمودزاده از دانشگاه صنعتی اصفهان
قسمت اول مدل‌سازی برنامه‌های هم‌زمان حافظه‌ی مشترک و ارسال پیام
قسمت دوم تبیین رهایی از اشکالات هم‌زمانی (مانند مسابقه برای داده‌ها، بن‌بست، گرسنگی)
قسمت سوم وارسی برنامه‌های هم‌زمان و مصورسازی شکست

 

برنامه روز دوم
آزمون ساختاری و تولید داده‌ی آزمون از کد
سخنرانان مهندس ابراهیم فضلی از دانشگاه زنجان
قسمت اول مبانی آزمون ساختاری
قسمت دوم تولید خودکار داده‌ی آزمون
قسمت سوم حل قیود
آزمون در ابعاد صنعتی
سخنرانان مهندس حسین توسلی و دکتر محسن افشارچی از دانشگاه زنجان
قسمت اول از آزمون واحد تا آزمون کارآیی
قسمت دوم ابزارهای آزمون نرم‌افزار در ابعاد صنعتی
قسمت سوم آزمون نرم‌افزار به‌صورت مرحله به مرحله (نمایش زنده)

 

پاسخی بگذارید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *