دانلود کتاب Assurances for Self-Adaptive Systems: Principles, Models, and Techniques – تضمین برای سیستم‌های خود انطباق‌پذیر: اصول، مدل‌ها و تکنیک‌ها

توضیحات

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is ‘assurances’: the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques.

————————————————————–

ترجمه ماشینی :

پیچیدگی روزافزون سیستم‌ها و عدم اطمینان روزافزون در محیط‌های عملیاتی آن‌ها، نیاز حیاتی به توسعه سیستم‌هایی ایجاد کرده است که بتوانند عملکرد خود را بهبود بخشند، با تغییرات سازگار شوند و به طور مستقل از خرابی‌ها بازیابی شوند. این وضعیت منجر به پیشرفت‌های اخیر در سیستم‌های خود تطبیقی شده است که قادر به پیکربندی مجدد ساختار خود و اصلاح رفتار خود در زمان اجرا برای انطباق با تغییرات محیطی هستند. علیرغم این پیشرفت‌ها، یکی از جنبه‌های کلیدی سیستم‌های خودسازگار که باید به طور عمیق مورد بررسی قرار گیرد، «تضمین‌ها» است: ارائه شواهدی مبنی بر اینکه سیستم الزامات عملکردی و غیرعملکردی اعلام شده‌اش را در طول عملیات خود در حضور خودسازگاری برآورده می‌کند. . این کتاب یکی از نتایج کارگاه آموزشی ESEC/FSE 2011 درباره تضمین‌های سیستم‌های خودسازگار (ASAS) است که در سپتامبر 2011 در Szeged، مجارستان برگزار شد. این کتاب شامل نسخه‌های توسعه‌یافته برخی از مقالات ارائه شده در طول کارگاه است. و همچنین مقالات دعوت شده از کارشناسان شناخته شده. 12 مقاله داوری به طور کامل بررسی و انتخاب شدند. این کتاب از چهار بخش تشکیل شده است: تأیید رسمی، مدل‌ها و میان‌افزار، پیش‌بینی شکست، و تکنیک‌های اطمینان.

tag : دانلود کتاب تضمین برای سیستم‌های خود انطباق‌پذیر: اصول، مدل‌ها و تکنیک‌ها , Download تضمین برای سیستم‌های خود انطباق‌پذیر: اصول، مدل‌ها و تکنیک‌ها , دانلود تضمین برای سیستم‌های خود انطباق‌پذیر: اصول، مدل‌ها و تکنیک‌ها , Download Assurances for Self-Adaptive Systems: Principles, Models, and Techniques Book , تضمین برای سیستم‌های خود انطباق‌پذیر: اصول، مدل‌ها و تکنیک‌ها دانلود , buy تضمین برای سیستم‌های خود انطباق‌پذیر: اصول، مدل‌ها و تکنیک‌ها , خرید کتاب تضمین برای سیستم‌های خود انطباق‌پذیر: اصول، مدل‌ها و تکنیک‌ها , دانلود کتاب Assurances for Self-Adaptive Systems: Principles, Models, and Techniques , کتاب Assurances for Self-Adaptive Systems: Principles, Models, and Techniques , دانلود Assurances for Self-Adaptive Systems: Principles, Models, and Techniques , خرید Assurances for Self-Adaptive Systems: Principles, Models, and Techniques , خرید کتاب Assurances for Self-Adaptive Systems: Principles, Models, and Techniques ,