دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
دانلود کتاب مهندسی نرم افزار برای سیستم های ارتجاعی: سومین کارگاه بین المللی، SERENE 2011، ژنو، سوئیس، 29-30 سپتامبر 2011. مجموعه مقالات
مشخصات کتاب
Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
ویرایش: 1 نویسندگان: Peter Popov (auth.), Elena A. Troubitsyna (eds.) سری: Lecture Notes in Computer Science 6968 Programming and Software Engineering ISBN (شابک) : 9783642241239, 9783642241246 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 173 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 57,000
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار برای سیستم های ارتجاعی: سومین کارگاه بین المللی، SERENE 2011، ژنو، سوئیس، 29-30 سپتامبر 2011. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، مهندسی نرم افزار، پیشگیری از آلودگی های صنعتی
در صورت تبدیل فایل کتاب Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار برای سیستم های ارتجاعی: سومین کارگاه بین المللی، SERENE 2011، ژنو، سوئیس، 29-30 سپتامبر 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار برای سیستم های ارتجاعی: سومین کارگاه بین المللی، SERENE 2011، ژنو، سوئیس، 29-30 سپتامبر 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری سومین کارگاه بین‌المللی مهندسی نرم‌افزار برای سیستم‌های انعطاف‌پذیر، SERENE 2011، در ژنو، سوئیس، در سپتامبر 2011 است. بررسی و از بین ارسال های متعدد انتخاب شده است. این مقالات به تمام جنبه‌های مدل‌سازی و تأیید رسمی، معماری سیستم‌های انعطاف‌پذیر، تحمل خطا، مهندسی نیازمندی‌ها و خطوط تولید، نظارت و سازگاری خود، و امنیت و جلوگیری از نفوذ می‌پردازند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third
International Workshop on Software Engineering for Resilient
Systems, SERENE 2011, held in Geneva, Switzerland, in
September 2011.
The 13 revised full papers presented together with 2 invited
talks were carefully reviewed and selected from numerous
submissions. The papers address all aspects of formal
modeling and verification, architecting resilient systems,
fault tolerance, requirements engineering and product lines,
monitoring and self-adaption, and security and intrusion
avoidance.
فهرست مطالب
Front Matter....Pages -
Preliminary Interdependency Analysis (PIA): Method and Tool Support....Pages 1-8
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach....Pages 9-23
Quantitative Verification of System Safety in Event-B....Pages 24-39
Experience-Based Model Refinement....Pages 40-47
Architecting Resilient Computing Systems: Overall Approach and Open Issues....Pages 48-62
Supporting Architectural Design Decisions Evolution through Model Driven Engineering....Pages 63-77
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis....Pages 78-92
Supporting Cross-Language Exception Handling When Extending Applications with Embedded Languages....Pages 93-99
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem....Pages 100-105
Idealized Fault-Tolerant Components in Requirements Engineering....Pages 106-112
Predictability and Evolution in Resilient Systems....Pages 113-114
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example....Pages 115-129
Towards a Model-Driven Infrastructure for Runtime Monitoring....Pages 130-144
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions....Pages 145-155
‘Known Secure Sensor Measurements’ for Critical Infrastructure Systems: Detecting Falsification of System State....Pages 156-163
Back Matter....Pages -
