دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
دانلود کتاب ایمنی سیستم ها: مجموعه مقالات پانزدهمین سمپوزیوم سیستمهای مهم ایمنی ، بریستول ، انگلیس ، 13-15 فوریه 2007
مشخصات کتاب
The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
ویرایش: 1 نویسندگان: John Ridgway (auth.), Felix Redmill, Tom Anderson (eds.) سری: ISBN (شابک) : 9781846288050, 9781846288067 ناشر: Springer-Verlag London سال نشر: 2007 تعداد صفحات: 261 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 33 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب ایمنی سیستم ها: مجموعه مقالات پانزدهمین سمپوزیوم سیستمهای مهم ایمنی ، بریستول ، انگلیس ، 13-15 فوریه 2007: مهندسی نرم افزار، عملکرد سیستم و ارزیابی
در صورت تبدیل فایل کتاب The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ایمنی سیستم ها: مجموعه مقالات پانزدهمین سمپوزیوم سیستمهای مهم ایمنی ، بریستول ، انگلیس ، 13-15 فوریه 2007 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ایمنی سیستم ها: مجموعه مقالات پانزدهمین سمپوزیوم سیستمهای مهم ایمنی ، بریستول ، انگلیس ، 13-15 فوریه 2007
ایمنی سیستم‌ها حاوی مقالات دعوت‌شده ارائه شده در پانزدهمین سمپوزیوم سالانه سیستمهای حیاتی ایمنی است که در بریستول، بریتانیا در فوریه 2007 برگزار شد.
مقالات ارائه شده است. که در این جلد گنجانده شده است طیف وسیعی از مسائل ایمنی مهم را پوشش می دهد. آنها ترکیبی از تجربه صنعتی و پیشرفت‌های اخیر را ارائه می‌کنند و تحت عناوین: وابستگی متقابل ایمنی و امنیت، نشان دادن ایمنی، مدیریت ایمنی، روند توسعه موارد ایمنی، درس‌هایی در ارزیابی ایمنی، و یکپارچگی بالا از مشخصات تا کد ارائه می‌شوند. /P>
توضیحاتی درمورد کتاب به خارجی
The Safety of Systems contains the invited papers presented at the fifteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2007.
The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial experience and recent developments, and are presented under the headings: Interdependence of Safety and Security, Demonstrating Safety, Safety Management, Trends in Safety Case Development, Lessons in Safety Assessment, and High Integrity from Specification to Code.
فهرست مطالب
Front Matter....Pages I-X
Front Matter....Pages 1-1
Achieving Safety through Security Management....Pages 3-20
Towards a Unified Approach to Safety and Security in Automotive Systems....Pages 21-34
Dependability-by-Contract....Pages 35-51
Front Matter....Pages 53-53
Achieving Integrated Process and Product Safety Arguments....Pages 55-68
The Benefits of Electronic Safety Cases....Pages 69-82
Front Matter....Pages 83-83
A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996–2006)....Pages 85-104
A Proactive Approach to Enhancing Safety Culture....Pages 105-115
Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes....Pages 117-129
Front Matter....Pages 131-131
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study....Pages 133-146
The Sum of its Parts....Pages 147-159
Front Matter....Pages 161-161
Independently Assessing Legacy Safety Systems....Pages 163-178
Safety Assessments of Air Traffic Systems....Pages 179-195
CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management — Technical Basis and Preliminary Architecture....Pages 197-214
Front Matter....Pages 215-215
AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration....Pages 217-241
Formalising C and C++ for Use in High Integrity Systems....Pages 243-260
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Устрій окупаційної влади на території Криму в період Другої світової війни (1941-1944)
دانلود کتاب A Topology of Everyday Constellations
