دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
دانلود کتاب تأیید اعتبار زمان اجرا: 9مین کارگاه بین المللی ، RV 2009 ، گرنوبل ، فرانسه ، 26 تا 28 ژوئن 2009. مقالات برگزیده
مشخصات کتاب
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
ویرایش: [1 ed.] نویسندگان: Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.) سری: Lecture Notes in Computer Science 5779 : Programming and Software Engineering ISBN (شابک) : 3642046932, 9783642046933 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 203 [207] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 47,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید اعتبار زمان اجرا: 9مین کارگاه بین المللی ، RV 2009 ، گرنوبل ، فرانسه ، 26 تا 28 ژوئن 2009. مقالات برگزیده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید اعتبار زمان اجرا: 9مین کارگاه بین المللی ، 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.
