دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
دانلود کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: چهارمین کارگاه بین المللی ، SERENE 2012 ، پیزا ، ایتالیا ، 27 تا 28 سپتامبر ، 2012. مجموعه مقالات
مشخصات کتاب
Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
ویرایش: 1 نویسندگان: Yannis Lilis, Anthony Savidis (auth.), Paris Avgeriou (eds.) سری: Lecture Notes in Computer Science 7527 ISBN (شابک) : 3642331750, 3642331769 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 190 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: چهارمین کارگاه بین المللی ، SERENE 2012 ، پیزا ، ایتالیا ، 27 تا 28 سپتامبر ، 2012. مجموعه مقالات: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، سیستم های عامل
در صورت تبدیل فایل کتاب Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: چهارمین کارگاه بین المللی ، SERENE 2012 ، پیزا ، ایتالیا ، 27 تا 28 سپتامبر ، 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: چهارمین کارگاه بین المللی ، SERENE 2012 ، پیزا ، ایتالیا ، 27 تا 28 سپتامبر ، 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین کارگاه بین‌المللی مهندسی نرم‌افزار برای سیستم‌های انعطاف‌پذیر، SERENE 2012، در پیزا، ایتالیا، در سپتامبر 2012 برگزار شد. . این مقالات به تمام جنبه‌های تحمل خطا و رسیدگی به استثنا، مدل‌سازی ایمنی، پشتیبانی از تکامل، انعطاف‌پذیری در محاسبات سرویس‌گرا، و به‌کارگیری روش‌های رسمی در مطالعات موردی می‌پردازند.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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 -
