دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
دانلود کتاب تایید زمان اجرا: اولین کنفرانس بین المللی، RV 2010، سنت جولیانس، مالت، 1-4 نوامبر 2010. مجموعه مقالات
مشخصات کتاب
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ویرایش: 1 نویسندگان: Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.) سری: Lecture Notes in Computer Science 6418 : Programming and Software Engineering ISBN (شابک) : 3642166113, 9783642166112 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 507 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 57,000
کلمات کلیدی مربوط به کتاب تایید زمان اجرا: اولین کنفرانس بین المللی، RV 2010، سنت جولیانس، مالت، 1-4 نوامبر 2010. مجموعه مقالات: مهندسی نرم افزار، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تایید زمان اجرا: اولین کنفرانس بین المللی، RV 2010، سنت جولیانس، مالت، 1-4 نوامبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تایید زمان اجرا: اولین کنفرانس بین المللی، RV 2010، سنت جولیانس، مالت، 1-4 نوامبر 2010. مجموعه مقالات
این کتاب مجموعه مقالات کنفرانس با داوری کامل اولین کنفرانس بین المللی در مورد تأیید زمان اجرا، RV 2010 است که در سنت جولیانس، مالت، در نوامبر 2010 برگزار شد. 23 مقاله کامل اصلاح شده همراه با 6 مقاله دعوت شده، 6 مقاله آموزشی و 4 نمایش ابزار به دقت بررسی و از بین 74 مورد ارسالی انتخاب شدند. این مقالات به طیف گسترده ای از موضوعات مانند نظارت بر زمان اجرا، تجزیه و تحلیل و تأیید، استاتیک و پویا، شبیه سازی زمان اجرا، همراه با برنامه های کاربردی در تجزیه و تحلیل بدافزار و بازیابی خرابی، و همچنین ردیابی اجرا در سیستم های جاسازی شده می پردازند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St. Julians, Malta, in November 2010. The 23 revised full papers presented together with 6 invited papers, 6 tutorials and 4 tool demonstrations were carefully reviewed and selected from 74 submissions. The papers address a wide range of topics such as runtime monitoring, analysis and verification, statically and dynamical, runtime simulations, together with applications in malware analysis and failure recovery, as well as execution tracing in embedded systems.
فهرست مطالب
Front Matter....Pages -
Automatic Requirement Extraction from Test Cases....Pages 1-15
Code Contracts for .NET: Runtime Verification and So Much More....Pages 16-17
Visual Debugging for Stream Processing Applications....Pages 18-35
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?....Pages 36-50
Contracts for Scala....Pages 51-57
Runtime Analysis and Instrumentation for Securing Software....Pages 58-58
Run-Time Verification of Networked Software....Pages 59-73
Clara: Partially Evaluating Runtime Monitors at Compile Time....Pages 74-88
You Should Better Enforce Than Verify....Pages 89-105
Runtime Verification for the Web....Pages 106-121
Statistical Model Checking: An Overview....Pages 122-135
Runtime Verification with the RV System....Pages 136-152
A Meta-Aspect Protocol for Developing Dynamic Analyses....Pages 153-167
Behavior Abstraction in Malware Analysis....Pages 168-182
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time....Pages 183-197
Checking the Correspondence between UML Models and Implementation....Pages 198-213
Compensation-Aware Runtime Monitoring....Pages 214-228
Recovery Tasks: An Automated Approach to Failure Recovery....Pages 229-244
Formally Efficient Program Instrumentation....Pages 245-252
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs....Pages 253-269
Causality Analysis in Contract Violation....Pages 270-284
Reducing Configurations to Monitor in a Software Product Line....Pages 285-299
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis....Pages 300-314
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects....Pages 315-329
Verification of an AFDX Infrastructure Using Simulations and Probabilities....Pages 330-344
Copilot: A Hard Real-Time Runtime Monitor....Pages 345-359
StealthWorks: Emulating Memory Errors....Pages 360-367
Efficient Data Race Detection for Async-Finish Parallelism....Pages 368-383
Run-Time Verification of Optimistic Concurrency....Pages 384-398
Who Guards the Guardians? — Toward V&V of Health Management Software....Pages 399-404
Aspect-Oriented Instrumentation with GCC....Pages 405-420
Runtime Verification for Software Transactional Memories....Pages 421-435
Optimized Temporal Monitors for SystemC....Pages 436-451
Runtime Verification of Stochastic, Faulty Systems....Pages 452-459
Low-Overhead Bug Fingerprinting for Fast Debugging....Pages 460-468
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems....Pages 469-474
A Tool Which Mines Partial Execution Traces to Improve Static Analysis....Pages 475-479
LarvaStat: Monitoring of Statistical Properties....Pages 480-484
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart....Pages 485-489
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب British Escort Ships (WW2 Fact Files)
دانلود کتاب The Harbrace Guide to Writing, Concise Edition
دانلود کتاب Nicht verzagen trotz Muskelhypotonie: Perspektiven bei Entwicklungsverzögerungen
دانلود کتاب A Field Guide to Awkward Silences
