دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: István Majzik. Marco Vieira (eds.)
سری: Lecture Notes in Computer Science 8785 Programming and Software Engineering
ISBN (شابک) : 9783319122403, 9783319122410
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 194
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار برای سیستم های ارتجاعی: ششمین کارگاه بین المللی، SERENE 2014، بوداپست، مجارستان، 15-16 اکتبر 2014. مجموعه مقالات: علوم کامپیوتر، عمومی، علوم کامپیوتر، عمومی، علوم کامپیوتر، عمومی، علوم کامپیوتر، عمومی، علوم کامپیوتر، عمومی، علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار برای سیستم های ارتجاعی: ششمین کارگاه بین المللی، SERENE 2014، بوداپست، مجارستان، 15-16 اکتبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری ششمین کارگاه بینالمللی مهندسی نرمافزار برای سیستمهای تابآور، SERENE 2014، در بوداپست، مجارستان، در اکتبر 2014 است. 11 مقاله فنی اصلاحشده همراه با یک مقاله پروژه و یک سخنرانی دعوتشده ارائه شد. به دقت بررسی و از بین 22 مورد ارسالی انتخاب شد. مقالات در بخش های موضوعی در مورد طراحی سیستم های ارتجاعی سازماندهی شده اند. تجزیه و تحلیل تاب آوری؛ تایید و تایید؛ و نظارت.
This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.
Front Matter....Pages -
Community Resilience Engineering: Reflections and Preliminary Contributions....Pages 1-8
Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles....Pages 9-23
The Role of Parts in the System Behaviour....Pages 24-39
Automatic Generation of Description Files for Highly Available Services....Pages 40-54
Modelling Resilience of Data Processing Capabilities of CPS....Pages 55-70
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages....Pages 71-85
On Applying FMEA to SOAs: A Proposal and Open Challenges....Pages 86-100
Verification and Validation of a Pressure Control Unit for Hydraulic Systems....Pages 101-115
Simulation Testing and Model Checking: A Case Study Comparing these Approaches....Pages 116-130
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation....Pages 131-138
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems....Pages 139-153
Adaptive Domain-Specific Service Monitoring....Pages 154-168
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems....Pages 169-183
Back Matter....Pages -