توضیحات
An Introduction to Runtime Verification — Discovering Concurrency Errors — Monitoring Events That Carry Data — Runtime Error Reaction and Prevention — Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications — Runtime Verification for Decentralized and Distributed Systems — Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.;The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.
————————————————————–
ترجمه ماشینی :
مقدمهای بر تأیید زمان اجرا – کشف خطاهای همزمان – نظارت بر رویدادهایی که دادهها را حمل میکنند – واکنش و پیشگیری از خطا در زمان اجرا – نظارت مبتنی بر مشخصات سیستمهای فیزیکی-سایبری: بررسی تئوری، ابزارها و کاربردها – تأیید زمان اجرا برای غیرمتمرکز و سیستمهای توزیعشده — تجربیات صنعتی با تأیید زمان اجرا سیستمهای تراکنشهای مالی: درسهای آموختهشده و چالشهای پایدار. ایده این جلد از نیاز به داشتن کتابی برای دانشآموزان برای پشتیبانی از آموزش آنها با چندین آموزش در مورد جنبههای مختلف RV نشأت میگیرد. این جلد در هفت فصل سازماندهی شده است و موضوعات تحت پوشش شامل مقدمه ای در مورد تأیید زمان اجرا، تجزیه و تحلیل دینامیک خطاهای همزمان، نظارت بر رویدادهایی که داده ها را حمل می کنند، واکنش خطای زمان اجرا و پیشگیری، نظارت بر سیستم های فیزیکی-سایبری، تأیید زمان اجرا برای غیرمتمرکز و توزیع شده است. سیستم ها و کاربرد صنعتی تکنیک های تأیید زمان اجرا در سیستم های تراکنش مالی
tag : دانلود کتاب سخنرانی در مورد تأیید زمان اجرا: مباحث مقدماتی و پیشرفته , Download سخنرانی در مورد تأیید زمان اجرا: مباحث مقدماتی و پیشرفته , دانلود سخنرانی در مورد تأیید زمان اجرا: مباحث مقدماتی و پیشرفته , Download Lectures on Runtime Verification: Introductory and Advanced Topics Book , سخنرانی در مورد تأیید زمان اجرا: مباحث مقدماتی و پیشرفته دانلود , buy سخنرانی در مورد تأیید زمان اجرا: مباحث مقدماتی و پیشرفته , خرید کتاب سخنرانی در مورد تأیید زمان اجرا: مباحث مقدماتی و پیشرفته , دانلود کتاب Lectures on Runtime Verification: Introductory and Advanced Topics , کتاب Lectures on Runtime Verification: Introductory and Advanced Topics , دانلود Lectures on Runtime Verification: Introductory and Advanced Topics , خرید Lectures on Runtime Verification: Introductory and Advanced Topics , خرید کتاب Lectures on Runtime Verification: Introductory and Advanced Topics ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.