دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers (به فارسی: تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده) نوشته شده توسط «Howard Barringer – Klaus Havelund – David Rydeheard – Alex Groce (auth.) – Saddek Bensalem – Doron A. Peled (eds.)»
اطلاعات کتاب تایید زمان اجرا: نهمین کارگاه بین المللی، RV 2009، گرنوبل، فرانسه، 26-28 ژوئن 2009. مقالات برگزیده
موضوع اصلی: فن آوری
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Howard Barringer – Klaus Havelund – David Rydeheard – Alex Groce (auth.) – Saddek Bensalem – Doron A. Peled (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 203
حجم کتاب: 3 مگابایت
کد کتاب: 3642046932 , 9783642046933
نوبت چاپ: 1
توضیحات کتاب تایید زمان اجرا: نهمین کارگاه بین المللی، 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.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.