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

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

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

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

 

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

 

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

 

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

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

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

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

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

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

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

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

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

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

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

ارسال نظر
captcha
*شرایط و مقررات*
خبرگزاری دانشجو نظراتی را که حاوی توهین است منتشر نمی کند.
لطفا از نوشتن نظرات خود به صورت حروف لاتین (فینگیلیش) خودداری نمايید.
توصیه می شود به جای ارسال نظرات مشابه با نظرات منتشر شده، از مثبت یا منفی استفاده فرمایید.
با توجه به آن که امکان موافقت یا مخالفت با محتوای نظرات وجود دارد، معمولا نظراتی که محتوای مشابهی دارند، انتشار نمی یابد.
پربازدیدترین آخرین اخبار