زبان: فارسی
ردهبندی دیویی: 629.89
سال چاپ: 1396
نوبت چاپ: 1
تیراژ: 500 نسخه
تعداد صفحات: 436
قطع و نوع جلد: وزیری (شومیز)
شابک 10 رقمی: 6008290283
شابک 13 رقمی: 9786008290285
کد کتاب در گیسوم: 11372862
توضیح کتاب:با گسترش روزافزون بهکارگیری سامانههای کامپیوتری در کاربردهای بحرانی، استفاده از روشهای ارتقای ایمنی و قابلیت اطمینان در فازهای اولیه طراحی و تولید، اهمیت بسزایی پیدا کرده است. فصل اول کتاب حاضر به بررسی مفاهیم پایه و لزوم بهرهگیری از روشهای اطمینانپذیری در برابر اشکال و خطا اختصاص دارد. در فصل دوم به یکی از معتبرترین استانداردهای این حوزه پرداخته شده است. این استاندارد که ++misra c نام دارد مبتنی بر زبان ++c بوده و شامل 227 قانون بسیار مهم و کاربردی است. در فصل سوم نیز ابزارهای وارسی این قوانین معرفی و یکی از مطلوبترین آنها برای بهکارگیری معرفی شده است.