ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)

دانلود کتاب ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار: دوازدهمین کارگاه سالانه CSR (بروژ، 12 تا 15 سپتامبر 1995)

Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)

مشخصات کتاب

Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)

ویرایش: 1 
نویسندگان: ,   
سری:  
ISBN (شابک) : 9783540760344, 9781447109211 
ناشر: Springer-Verlag London 
سال نشر: 1997 
تعداد صفحات: 473 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 27 مگابایت 

قیمت کتاب (تومان) : 31,000



کلمات کلیدی مربوط به کتاب ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار: دوازدهمین کارگاه سالانه CSR (بروژ، 12 تا 15 سپتامبر 1995): مهندسی نرم افزار



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار: دوازدهمین کارگاه سالانه CSR (بروژ، 12 تا 15 سپتامبر 1995) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار: دوازدهمین کارگاه سالانه CSR (بروژ، 12 تا 15 سپتامبر 1995)



ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار حاوی مقالاتی است که در دوازدهمین کارگاه سالانه سازماندهی شده توسط مرکز قابلیت اطمینان نرم افزار ارائه شده است. مشارکت‌ها از صنایع مختلف در بسیاری از کشورها می‌آیند و بحث و بارورسازی ایده‌های مرتبط با سیستم‌هایی را که ایمنی و/یا قابلیت اطمینان آن‌ها مهم‌ترین نگرانی است، فراهم می‌کند.
این کتاب موارد ایمنی و نقش های مختلف آنها را در صنایع مختلف مورد بحث قرار می دهد. استفاده از اندازه گیری برای بهبود قابلیت اطمینان و ایمنی سیستم های مبتنی بر نرم افزار؛ آخرین پیشرفت ها در مدیریت، توسعه و ارزیابی سیستم های فشرده نرم افزاری که قابلیت اطمینان و/یا ایمنی ملاحظات مهمی هستند. و تجربیات عملی دیگران در صنعت.


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

Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability. Contributions come from different industries in many countries, and provide discussion and cross-fertilisation of ideas relevant to systems whose safety and/or reliability are of paramount concern.
This book discusses safety cases and their varying roles in different industries; using measurement to improve reliability and safety of software-based systems; latest developments in managing, developing and assessing software intensive systems where reliability and/or safety are important considerations; and practical experiences of others in industry.



فهرست مطالب

Front Matter....Pages i-xiii
Formal Methods and their Role in the Certification of Critical Systems....Pages 1-42
Safety Cases — How Did We Get Here?....Pages 43-95
System Safety — Challenge and Chance for Automotive Applications....Pages 96-106
The SHIP Safety Case Approach: A Combination of System and Software Methods....Pages 107-121
Decision Making and Planning by Autonomous Agents; A Generic Architecture for Safety-Critical Applications....Pages 122-134
Safety Case Development: Current Practice, Future Prospects....Pages 135-156
Assuring Confidence in Pharmaceutical Software....Pages 157-175
Computer-based Safety Systems — The Elements of an Acceptable Safety Case....Pages 176-182
An Assessment Methodology for Safety Critical Computer Based Systems....Pages 183-200
The Safety of PES in the Offshore Industry....Pages 201-216
The Role of Measurement in Software Safety Assessment....Pages 217-248
“Unexpected (and Sometimes Unpleasant) Lessons from Data in Real Software Systems”....Pages 249-259
Improving C Code Quality....Pages 260-264
Improving Reuse in Space (IRIS)....Pages 265-275
Software Based Systems Dependability Requirements in the Process Industries....Pages 276-287
Applying the B-Method to Avionics Software: An Initial Report on the MIST Project....Pages 288-304
Application of an Integrated, Modular, Metric Based System and Software Test Concept....Pages 305-316
Railway Safety Cases....Pages 317-322
A Comparison of Different Safety-Critical Approaches used in Industry....Pages 323-327
Safety Cases for Software-Based Systems....Pages 328-337
Object-Oriented Approach to Safety Analysis....Pages 338-350
FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems....Pages 351-367
Use of Hazard Analysis Techniques During the Product Life Cycle: HAZOP and FMEA Compared....Pages 368-377
Computer Risks and Some Legal Consequences....Pages 378-388
Software Design-Faults Simulation....Pages 389-418
A Framework for Certifying Critical Software Systems....Pages 419-438
A Statistical and Automated Code-Based Fault-Tree Mitigation Framework for C++....Pages 439-451
ARTIE: A Proven Correct Architecture for Safety-Critical Applications....Pages 452-460
Back Matter....Pages 461-461




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