ارائه مدلی برای افزایش قابلیت اطمینان نرم افزارهای نهفته و بی درنگ مبتنی بر روش صوری تفسیر انتزاعی
- سال انتشار: 1402
- محل انتشار: دومین کنفرانس ملی مدیریت و مهندسی کیفیت و قابلیت اتکا
- کد COI اختصاصی: GRAMS02_022
- زبان مقاله: فارسی
- تعداد مشاهده: 133
نویسندگان
کارشناس ارشد مدیریت فناوری اطلاعات
کارشناس ارشد مهندسی فناوری اطلاعات
چکیده
قابلیت اطمینان در یک نرم افزار، از جنبه های حائز اهمیت در حوزه کیفیت نرم افزار می باشد. زمانیکه در مورد نرم افزارهای نهفته و بی درنگ صحبت می شود، اهمیت قابلیت اطمینان بسیار بیشتر خواهد بود. زیرا بیشتر این نرم افزارها در حوزه های مرتبط با بحرانی-ایمنی و بحرانی-ماموریت، سر و کار داشته و هر گونه شکست در نرم افزار حین ماموریت ممکن است خسارات مالی و جانی غیرقابل جبران به همراه داشته باشدکلیدواژه ها
کیفیت نرم افزار، قابلیت اطمینان، نرم افزارهای نهفته و بی درنگ، تحلیل ایستامقالات مرتبط جدید
- تاثیر رهبری تحول آفرین بر عملکرد سازمانی و انگیزه کارکنان در مجتمع فولاد غدیر نی ریز
- بررسی تاثیر اخلاق حرفه ای کارکنان فروش بر اعتماد مشتری و عملکرد فروش (مطالعه موردی: فروشگاه های زنجیره ای شهر تهران)
- بررسی و تحلیل علل شکست و موفقیت استارت آپ ها در کشور ایران
- تاثیر ترومای خانوادگی بر سلامت روان اعضای خانواده و نسل های بعدی
- رابطه بین کیفیت زندگی و سبک های مقابله با استرس در مراقبین بیماران روانی با شدت بیماری
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.