دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
36,000 تومان
تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 203 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3642046932,9783642046933 |
| نوبت چاپ | 1 |
| نویسنده | , , , , , |
|---|---|
| زبان |
انگلیسی |
| فرمت |
|
| سال انتشار |
2009 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده
سری کارگاه های آموزشی RV محققان دانشگاهی و صنعتی را که به تأیید زمان اجرا علاقه مند هستند گرد هم می آورد. هدف کارگاه های RV بررسی توانایی اعمال تأیید رسمی سبک وزن در طول اجرای برنامه ها است. این رویکرد مکمل استفاده آفلاین از روش‌های رسمی است که اغلب از منابع بزرگ استفاده می‌کنند. روش‌ها و ابزارهای تأیید زمان اجرا شامل ابزار دقیق کد با قطعات نرم‌افزاری است که می‌تواند به آزمایش و نظارت بر آن به صورت آنلاین و شناسایی و گاهی اوقات جلوگیری از خطاهای احتمالی کمک کند.
RV 2009 در تاریخ 26-28 ژوئن در گرنوبل، فرانسه، در مجاورت CAV 2009. این برنامه شامل 11 مقاله پذیرفته شده بود. دو گفتگوی دعوت شده توسط امیر پنولی درباره «رویکرد ترکیبی برای پایش ویژگی‌های منطق زمانی خطی» و سریرام رجمانی درباره «تأیید، آزمایش و آمار» انجام شد. این برنامه همچنین شامل سه دوره آموزشی بود.
The RV series of workshops brings together researchers from academia and industry who are interested in runtime verification. The goal of the RV workshops is to study the ability to apply lightweight formal verification during the execution of programs. This approach complements the offline use of formal methods which often use large resources. Runtime verification methods and tools include the instrumentation of code with pieces of software that can help to test and monitor it online and detect, and sometimes prevent, potential faults.
RV 2009 was held on June 26-28 in Grenoble, France, adjacent to CAV 2009. The program included 11 accepted papers. Two invited talkswere given by Amir Pnueli on “Compositional Approach to Monitoring Linear Temporal Logic Properties” and Sriram Rajamani on “Verification, Testing and Statistics”. The program also included three turorials.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.