مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب مهندسی نرم افزار برای سیستم های انعطاف پذیر: 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

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب GnuCash Tutorial and Concepts Guide

دانلود کتاب Sintaktikon tis latinikis glossis pros chrisin ton Gimnasion[1901, 3rd edition]

دانلود کتاب Oracle SOA BPEL Process Manager 11gR1 – A Hands-on Tutorial

دانلود کتاب Software Verification and Analysis: An Integrated, Hands-On Approach

دانلود کتاب Encyclopedia of Nanoscience and Nanotechnology, Ring Structures from Nanoparticles and Other Nanoscale Building Blocks, Zhen Liu, M.Dekker