دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
دانلود کتاب مهندسی نرم افزار برای سیستم های خودپرداز III. اطمینان: سمینار بین المللی، قلعه دقتلو، آلمان، 15-19 دسامبر 2013، مقالات انتخاب شده و دعوت شده تجدید نظر شده
مشخصات کتاب
Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
ویرایش: 1 نویسندگان: Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese (eds.) سری: Programming and Software Engineering 9640 ISBN (شابک) : 9783319741826, 9783319741833 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 440 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار برای سیستم های خودپرداز III. اطمینان: سمینار بین المللی، قلعه دقتلو، آلمان، 15-19 دسامبر 2013، مقالات انتخاب شده و دعوت شده تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار برای سیستم های خودپرداز III. اطمینان: سمینار بین المللی، قلعه دقتلو، آلمان، 15-19 دسامبر 2013، مقالات انتخاب شده و دعوت شده تجدید نظر شده
یک چالش بزرگ برای سیستم‌های نرم‌افزاری مدرن، مقرون‌به‌صرفه‌تر شدن، در عین حال همه‌کاره بودن، انعطاف‌پذیری، انعطاف‌پذیری، صرفه‌جویی در مصرف انرژی، سفارشی‌سازی و تنظیم در هنگام واکنش به تغییرات زمان اجرا است که ممکن است در سیستم رخ دهد. خود، محیط یا الزامات آن. یکی از امیدوارکننده‌ترین رویکردها برای دستیابی به چنین ویژگی‌هایی، تجهیز سیستم نرم‌افزاری به قابلیت‌های خودسازگاری است. علیرغم پیشرفت‌های اخیر در این زمینه، یکی از جنبه‌های کلیدی که باید به طور عمیق مورد بررسی قرار گیرد، ارائه تضمین‌ها است.
این کتاب برگرفته از سمینار داگستول که در دسامبر 2013 برگزار شد، جلد سوم از مجموعه «مهندسی نرم‌افزار برای» را تشکیل می‌دهد. سیستم های خود تطبیق پذیر» و به طور خاص به ارائه تضمین ها می پردازد. این کتاب که با فصلی کلی در مورد چالش‌های پژوهشی باز می‌شود، 13 فصل دیگر را ارائه می‌کند که توسط محققان برجسته بین‌المللی در این زمینه نوشته شده و با دقت بررسی شده‌اند. این کتاب به بخش‌های موضوعی در مورد چالش‌های پژوهشی، ارزیابی، یکپارچه‌سازی و هماهنگی، و معماری‌ها و بسترهای مرجع تقسیم شده است.توضیحاتی درمورد کتاب به خارجی
A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation capabilities. Despite recent advances in this area, one key aspect that remains to be tackled in depth is the provision of assurances.
Originating from a Dagstuhl seminar held in December 2013, this book constitutes the third volume in the series “Software Engineering for Self-Adaptive Systems”, and looks specifically into the provision of assurances. Opening with an overview chapter on Research Challenges, the book presents 13 further chapters written and carefully reviewed by internationally leading researchers in the field. The book is divided into topical sections on research challenges, evaluation, integration and coordination, and reference architectures and platforms.فهرست مطالب
Front Matter ....Pages I-X
Front Matter ....Pages 1-1
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances (Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu et al.)....Pages 3-30
Perpetual Assurances for Self-Adaptive Systems (Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Camara, Carlo Ghezzi, Vincenzo Grassi et al.)....Pages 31-63
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems (Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecilia M. F. Rubira, Yuriy Brun et al.)....Pages 64-89
What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems? (Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Holger Giese et al.)....Pages 90-134
Front Matter ....Pages 135-135
MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems (Amir Molzam Sharifloo, Andreas Metzger)....Pages 137-153
Analyzing Self-Adaptation Via Model Checking of Stochastic Games (Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley Schmerl)....Pages 154-187
An Approach for Isolated Testing of Self-Organization Algorithms (Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif)....Pages 188-222
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software (Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson)....Pages 223-248
Front Matter ....Pages 249-249
Contracts-Based Control Integration into Software Systems (Filip Křikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier)....Pages 251-281
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution (Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli)....Pages 282-306
Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems (Nicolás Cardozo, Kim Mens, Siobhán Clarke)....Pages 307-348
Feedback Control as MAPE-K Loop in Autonomic Computing (Eric Rutten, Nicolas Marchand, Daniel Simon)....Pages 349-373
Front Matter ....Pages 375-375
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation (Victor Braberman, Nicolas D’Ippolito, Jeff Kramer, Daniel Sykes, Sebastian Uchitel)....Pages 377-408
MOSES: A Platform for Experimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems (Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Stefano Iannucci, Francesco Lo Presti, Raffaela Mirandola)....Pages 409-433
Back Matter ....Pages 435-435
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Chariots of the Gods: Unsolved Mysteries of the Past
دانلود کتاب Bad New Days: Art, Criticism, Emergency
دانلود کتاب Alleinerziehende: Abschied von einem Klischee
دانلود کتاب Beyond disagreement : open remedies in human rights adjudication
