تألیف کتاب اصول طراحی و توسعه نرم افزارهای مطمئن در دانشگاه گیلان

کتاب اصول طراحی و توسعه نرم افزارهای مطمئن توسط عضو هیأت علمی دانشگاه گیلان تالیف شد.

کد خبر: ۴۴۹۶۶۸

دوشنبه - ۲۰ مهر ۱۳۹۴ / October 12, 2015

به گزارش گروه دانشگاه خبرگزاری دانشجو، کتاب «اصول طراحی و توسعه نرم افزارهای مطمئن» تالیف رضا ابراهیمی آتانی، عضو هیات علمی گروه مهندسی کامپیوتر دانشکده فنی و مهران علیدوست نیا، دانش آموخته کارشناسی ارشد مهندسی کامپیوتر دانشگاه گیلان منتشر شد.

کتاب حاضر بر پایه چندین سال مطالعه و تحقیق در حوزه امنیت و اطمینان پذیری در سیستم های کامپیوتری و همچنین چند سال تدریس در سطوح تحصیلات تکمیلی نوشته شده است.

این کتاب در ۱۲ فصل تالیف شده که اصول بنیادی در طراحی و توسعه امن سیستم های نرم افزاری را شامل می‌شود.

مقدمه ای بر طراحی نرم افزار های مطمئن

تنوع طراحی در طراحی نرم افزارهای مطمئن

تکنیک های تنوع طراحی در تحمل پذیری خطا

برنامه نویسی N نسخه ای و چرخه مهندسی نرم افزار

تکنیک های تنوع داده و پیشرفته در تحمل پذیری خطا

مسائل معماری در طراحی نرم افزارهای مطمئن

مدیریت استثناء ها در طراحی نرم افزارهای مطمئن

مروری بر تکنیک های تحمل پذیری خطا در سیستم عامل

روش های تست اطمینان نرم افزار

مدل سازی تحمل پذیری خطا با رویکرد فضا-حالت

طراحی سیستم های با قابلیت اتکا بالا و تحمل پذیری خطا و وابستگی سخت افزاری از فصل های این کتاب می‌باشد.