مشخصات کتاب

Dependable software systems engineering

ویرایش:  
نویسندگان: Alexander Pretschner,  Doron A Peled,  Thomas Hutzelmann  
سری:  
ISBN (شابک) : 9781614998099, 9781614998105 
ناشر: IOS Press 
سال نشر: 2017 
تعداد صفحات: 257 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

در صورت تبدیل فایل کتاب Dependable software systems engineering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مهندسی سیستم های نرم افزاری قابل اعتماد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مهندسی سیستم های نرم افزاری قابل اعتماد

سیستم‌های سایبری-فیزیکی زیرسیستم‌های متشکل از عناصر محاسباتی و فیزیکی را از نزدیک ترکیب و هماهنگ می‌کنند. چنین سیستم هایی در زمینه های هوافضا، خودروسازی و صنایع اتوماسیون و همچنین در لوازم مصرفی ضروری شده اند. ایمنی، امنیت و قابلیت اطمینان، همه عناصر اساسی قابل اعتماد بودن این سیستم‌های فیزیکی-سایبری مدرن هستند. حفاظت از داده های چنین سیستم هایی در برابر حملات خارجی (امنیت) و محافظت از محیط در برابر هرگونه نقص احتمالی یا سوء استفاده از این سیستم ها (ایمنی) موضوعاتی است که به طور سنتی به طور جداگانه در نظر گرفته می شود، اما نگاه دقیق تر نشان می دهد که تکنیک های ساخت و تجزیه و تحلیل نرم افزار- سیستم‌های مبتنی بر استفاده در امنیت و ایمنی لزوماً تفاوت اساسی ندارند. این کتاب مقالاتی از مدرسه تابستانی Marktoberdorf در سال 2016 در مورد مهندسی نرم‌افزار ارائه می‌کند که در مارکتوبردورف، آلمان، در آگوست 2016 برگزار شد. سخنرانی‌های این مدرسه تابستانی جنبه‌های مختلف مهندسی سیستم‌های نرم‌افزاری قابل‌اعتمادتر را بررسی کردند، و 10 سخنرانی ارائه‌شده در اینجا موضوعاتی از زبان‌های برنامه‌نویسی و ابزارهای تجزیه و تحلیل رسمی گرفته تا تأیید، اعتبارسنجی و اطمینان را پوشش می‌دهند. این کتاب برای همه کسانی که کارشان را انجام می‌دهند جالب خواهد بود. شامل توسعه و آزمایش سیستم های نرم افزاری قابل اعتمادتر و ایمن تر است.

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

Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable in the fields of aerospace, automotive and the automation industries, as well as in consumer appliances. Safety, security and reliability are all essential elements of the trustworthiness of these modern cyber-physical systems. Protecting the data within such systems from external attack (security) and protecting the environment from any potential malfunction or misuse of these systems (safety) are subjects traditionally considered separately, but a closer look reveals that techniques for the construction and analysis of the software-based systems used in both security and safety are not necessarily fundamentally different.This book presents papers from the 2016 Marktoberdorf summer school on software engineering, held in Marktoberdorf, Germany, in August 2016. As its title – Dependable Software Systems Engineering – suggests, the lectures at this summer school explored various aspects of the engineering of more dependable software systems, and the 10 lectures included here cover subjects from programming languages and formal analysis tools to verification, validation and assurance.The book will be of interest to all those whose work involves the development and testing of more reliable and secure software systems.

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

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

دانلود کتاب Yearbook of Intensive Care and Emergency Medicine 1999

دانلود کتاب Effects of High Pressure on Biological Systems

دانلود کتاب Genetic Data Analysis II Methods for Discrete Population Genetic Data

دانلود کتاب Сорти яблуні та груші

دانلود کتاب Extended Abstracts February 2016: Positivity and Valuations