دانشجویان درس طراحی و پیاده سازی و همچنین اصول طراحی کامپایلرها می توانند به منظور تلفیق مطالب ارائه شده در کلاس با کرانه های دانش در زمینه های درسی خود در کنفرانسهای علمی مرتبط با رشته خود شرکت نمایند .

به همین منظور کنفرانس با مشخصات زیر به دانشجویان پیشنهاد می گردد . لازم بذکر است به دلیل اینکه زمان کافی برای انجام فعالیتهای پژوهشی جهت این کنفرانس وجود دارد می توانند از همینک روی عناوین مهم این رویدادعلمی کار نمایند :

عنوان کنفرانس: بازبینی زمان اجرا ( RV2014 )

Runtime Verification

حوزه(های) تحت پوشش :  مهندسی کامپیوتر، علوم کامپیوتر، فناوری اطلاعات
تاریخ برگزاری: ۲۴و ۲۵ سپتامبر ۲۰۱۴ -دوم و سوم مهرماه ۱۳۹۳
محل برگزاری:  تورنتو ، کانادا

وضعیت کنفرانس: اطلاع رسانی

تاریخ‌های مهم:
مهلت ارسال اصل مقاله

۱۵ آوریل ۲۰۱۴ ۲۶ فروردین ماه ۱۳۹۳ 

اعلام نتایج داوری اصل مقاله 

۱۰ژوئن ۲۰۱۴-۲۰ خرداد ماه ۱۳۹۳

محورهای همایش:

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

وب‌سایت :

http://rv2014.imag.fr/

 

ارسال دیدگاه

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