دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
دانلود کتاب تایید صحت اجرا: 9th Workshop International، RV 2009، Grenoble، France، 26-28 ژوئن 2009. مقالات انتخاب شده
مشخصات کتاب
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
ویرایش: 1 نویسندگان: 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 (شابک) : 9783642046940, 3642046940 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 208 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تایید صحت اجرا: 9th Workshop International، RV 2009، Grenoble، France، 26-28 ژوئن 2009. مقالات انتخاب شده: مهندسی نرم افزار، عملکرد و قابلیت اطمینان، زبان های برنامه نویسی، کامپایلرها، مترجمان، عملکرد و ارزیابی سیستم، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تایید صحت اجرا: 9th Workshop International، RV 2009، Grenoble، France، 26-28 ژوئن 2009. مقالات انتخاب شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تایید صحت اجرا: 9th Workshop International، RV 2009، Grenoble، France، 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.
فهرست مطالب
Front Matter....Pages -
Rule Systems for Runtime Verification: A Short Tutorial....Pages 1-24
Verification, Testing and Statistics....Pages 25-25
Type-Separated Bytecode – Its Construction and Evaluation....Pages 26-39
Runtime Verification of Safety-Progress Properties....Pages 40-59
Monitor Circuits for LTL with Bounded and Unbounded Future....Pages 60-75
State Joining and Splitting for the Symbolic Execution of Binaries....Pages 76-92
The LIME Interface Specification Language and Runtime Monitoring Tool....Pages 93-100
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing....Pages 101-114
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming....Pages 115-131
Runtime Verification of C Memory Safety....Pages 132-151
A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis....Pages 152-167
Hardware Supported Flexible Monitoring: Early Results....Pages 168-183
DMaC : Distributed Monitoring and Checking....Pages 184-201
Back Matter....Pages -
