ارائه روشی مبتنی بر معیار برای تعیین سطح توانایی روشهای رسمی در توصیف و تحلیل نرم افزار
محل انتشار: اولین کنفرانس دانشجویی فناوری اطلاعات ایران
سال انتشار: 1389
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,346
فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCIT01_054
تاریخ نمایه سازی: 1 اسفند 1388
چکیده مقاله:
توسعه دهندگان نرم افزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرم افزار تحت توسعه روبرو هستند هدف ما در این مقاله ارائه یک روش نظام مند جهت تعیین سطح توانایی روشهای رسمی برای توصیف و تحلیل نرم ا فزارهای مختلف می باشد که دراین مقاله (1) براساس نوعهای مختلف نرم افزار مانند بلادرنگ ، توزیع شده ، تبدیلی و ویژگیهای مورد نیاز مانند همروندی، توزیع شدگی، واکنش ، تعاملی معیارهای تعیین شده، (2) توانایی های روشهای رسمی را براساس معیارهای تعیین شده مشخص و سطح توانایی آنها را تعیین خواهیم نمود. و (3) به کاربرد جهت توصیف و تحلیل نرم افزار بااتکا به معیارهای ارائه شده یک یا ترکیبی از چند روش رسمی را برای توسعه نرم افزار پیشنهاد خواهیم کرد.
کلیدواژه ها:
نویسندگان
ویدا احمدی ثابت
دانشجوی کارشناسی ارشد نرم افزار دانشگاه آزاد اسلامی واحد اراک
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :