دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
دانلود کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: 9th Workshop International، SERENE 2017، Geneva، Switzerland، September 4-5، 2017، Proceedings
مشخصات کتاب
Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
ویرایش: نویسندگان: Romanovsky. Alexander, Troubitsyna. Elena A سری: Lecture notes in computer science 10479.; LNCS sublibrary. SL 2, Programming and software engineering ISBN (شابک) : 9783319659480, 9783319659473 ناشر: Springer سال نشر: 2017 تعداد صفحات: 208 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: 9th Workshop International، SERENE 2017، Geneva، Switzerland، September 4-5، 2017، Proceedings: مهندسی نرم افزار -- کنگره ها، نرم افزارهای کامپیوتری -- قابلیت اطمینان -- کنگره ها.، علوم کامپیوتر.، مهندسی نرم افزار.، منطق و معانی برنامه ها.، زبان های برنامه نویسی، کامپایلرها، مترجمان، عملکرد و ارزیابی سیستم، حرفه محاسبات. ,هوش مصنوعی (شامل رباتیک).,نرم افزار کامپیوتر -- قابلیت اطمینان.,مهندسی نرم افزار.
در صورت تبدیل فایل کتاب Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: 9th Workshop International، SERENE 2017، Geneva، Switzerland، September 4-5، 2017، Proceedings نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: 9th Workshop International، SERENE 2017، Geneva، Switzerland، September 4-5، 2017، Proceedings
این کتاب مجموعه مقالات داوری کارگاه بین‌المللی مهندسی
نرم‌افزار برای سیستم‌های تاب‌آور، SERENE 2017، برگزار شده در
ژنو است. سوئیس، در سپتامبر 2017. 11 مقاله ارائه شده همراه با 2
گفتگوی دعوت شده به دقت بررسی و از 16 مورد ارسالی انتخاب شدند.
آنها حوزه های زیر را پوشش می دهند: مدل سازی و مشخصات. ایمنی و
امنیت؛ تحمل خطا، انعطاف‌پذیری و نرم‌افزار استحکام . �بیشتر
بخوانید...
چکیده:
چکیده:
این کتاب مجموعه مقالات داوری کارگاه بین المللی مهندسی نرم
افزار برای سیستم های انعطاف پذیر، SERENE 2017، برگزار شده در
ژنو است. سوئیس، در سپتامبر 2017. 11 مقاله ارائه شده همراه با 2 سخنرانی
دعوت شده، به دقت بررسی و از 16 مورد ارسالی انتخاب
شدند. �بیشتر بخوانید...
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the
International Workshop on Software Engineering for Resilient
Systems, SERENE 2017, held in Geneva; Switzerland, in September
2017. The 11 papers presented together with 2 invited talks
were carefully reviewed and selected from 16 submissions. They
cover the following areas: modeling and specification; safety
and security; fault tolerance, resilience and robustness software.
�Read
more...
Abstract:
Abstract:
This book constitutes the refereed proceedings of the
International Workshop on Software Engineering for Resilient
Systems, SERENE 2017, held in Geneva; Switzerland, in
September 2017. The 11 papers presented together with 2
invited talks were carefully reviewed and selected from 16
submissions. �Read
more...
فهرست مطالب
Front Matter ....Pages I-XIV
Front Matter ....Pages 1-1
Predictive Analytics: A Shortcut to Dependable Computing (Miroslaw Malek)....Pages 3-17
Front Matter ....Pages 19-19
Modeling and Monitoring of Hierarchical State Machines in Scala (Klaus Havelund, Rajeev Joshi)....Pages 21-36
Stochastic Activity Networks for the Verification of Knowledge Bases (Luke Martin, Alexander Romanovsky)....Pages 37-44
A Generated Property Specification Language for Resilient Multirobot Missions (Swaib Dragule, Bart Meyers, Patrizio Pelliccione)....Pages 45-61
Front Matter ....Pages 63-63
Towards a Model-Driven Security Assurance of Open Source Components (Irum Rauf, Elena Troubitsyna)....Pages 65-80
A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling (Henry Muccini, Mahyar Tourchi Moghaddam)....Pages 81-95
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook (Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala)....Pages 96-114
Front Matter ....Pages 115-115
Evaluation of Open Source Operating Systems for Safety-Critical Applications (Petter Sainio Berntsson, Lars Strandén, Fredrik Warg)....Pages 117-132
100 Years of Software - Adapting Cyber-Physical Systems to the Changing World (Hayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander et al.)....Pages 133-148
Front Matter ....Pages 149-149
Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB (Yulai Zhou, Patrizio Pelliccione, Johan Haraldsson, Mafjiul Islam)....Pages 151-168
Modelling for Systems with Holistic Fault Tolerance (Rem Gensh, Ashur Rafiev, Fei Xia, Alexander Romanovsky, Alex Yakovlev)....Pages 169-183
Holistic Processing and Exploring Event Logs (Marcin Kubacki, Janusz Sosnowski)....Pages 184-200
Back Matter ....Pages 201-201
