دانلود کتاب Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
کتاب مهندسی نرم افزار برای سیستم های ارتجاعی: چهارمین کارگاه بین المللی، SERENE 2012، پیزا، ایتالیا، 27-28 سپتامبر 2012. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب مهندسی نرم افزار برای سیستم های ارتجاعی: چهارمین کارگاه بین المللی، SERENE 2012، پیزا، ایتالیا، 27-28 سپتامبر 2012. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
نام کتاب : Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : مهندسی نرم افزار برای سیستم های ارتجاعی: چهارمین کارگاه بین المللی، SERENE 2012، پیزا، ایتالیا، 27-28 سپتامبر 2012. مجموعه مقالات
سری : Lecture Notes in Computer Science 7527
نویسندگان : Yannis Lilis, Anthony Savidis (auth.), Paris Avgeriou (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2012
تعداد صفحات : 190
ISBN (شابک) : 3642331750 , 3642331769
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری چهارمین کارگاه بین‌المللی مهندسی نرم‌افزار برای سیستم‌های انعطاف‌پذیر، SERENE 2012، در پیزا، ایتالیا، در سپتامبر 2012 برگزار شد. . این مقالات به تمام جنبه‌های تحمل خطا و رسیدگی به استثنا، مدل‌سازی ایمنی، پشتیبانی از تکامل، انعطاف‌پذیری در محاسبات سرویس‌گرا، و به‌کارگیری روش‌های رسمی در مطالعات موردی می‌پردازند.
فهرست مطالب :
Front Matter....Pages -
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming....Pages 1-15
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System....Pages 16-31
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach....Pages 32-46
Linking Modelling in Event-B with Safety Cases....Pages 47-62
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain....Pages 63-75
Language Enrichment for Resilient MDE....Pages 76-90
Assume-Guarantee Testing of Evolving Software Product Line Architectures....Pages 91-105
FAS: Introducing a Service for Avoiding Faults in Composite Services....Pages 106-120
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling....Pages 121-133
Monitoring Service Choreographies from Multiple Sources....Pages 134-149
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain....Pages 150-164
Model-Based Evaluation of the Availability of a CBTC System....Pages 165-179
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012.
The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies.
پست ها تصادفی