دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Alessandro Fantechi. Patrizio Pelliccione (eds.)
سری: Lecture Notes in Computer Science 9274
ISBN (شابک) : 9783319231280, 9783319231297
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 154
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: هفتمین کارگاه بین المللی ، SERENE 2015 ، پاریس ، فرانسه ، 7-8 سپتامبر 2015. مجموعه مقالات: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: هفتمین کارگاه بین المللی ، SERENE 2015 ، پاریس ، فرانسه ، 7-8 سپتامبر 2015. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هفتمین کارگاه بینالمللی مهندسی نرمافزار برای سیستمهای ارتجاعی، SERENE 2015، در پاریس، فرانسه، در سپتامبر 2015 برگزار شد. این مقالات در بخشهای موضوعی در مورد توسعه سیستمهای تابآور، تأیید، اعتبارسنجی و ارزیابی تابآوری، مطالعات موردی و کاربردها سازماندهی شدهاند.
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.
Front Matter....Pages I-IX
Biological Immunity and Software Resilience: Two Faces of the Same Coin?....Pages 1-15
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems....Pages 16-30
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol....Pages 31-45
Considering Execution Environment Resilience: A White-Box Approach....Pages 46-61
Engineering Cross-Layer Fault Tolerance in Many-Core Systems....Pages 62-70
Risk Assessment Based Cloudification....Pages 71-81
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System....Pages 82-98
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain....Pages 99-113
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases....Pages 114-127
Resiliency Variance in Workflows with Choice....Pages 128-143
Back Matter....Pages 145-145