ارائه روشی مبتنی بر معیار برای تعیین سطح توانایی روشهای رسمی در توصیف و تحلیل نرم افزار
Publish place: 1st Iranian Student Conference on Information Technology
Publish Year: 1389
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,418
This Paper With 10 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCIT01_054
تاریخ نمایه سازی: 1 اسفند 1388
Abstract:
توسعه دهندگان نرم افزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرم افزار تحت توسعه روبرو هستند هدف ما در این مقاله ارائه یک روش نظام مند جهت تعیین سطح توانایی روشهای رسمی برای توصیف و تحلیل نرم ا فزارهای مختلف می باشد که دراین مقاله (1) براساس نوعهای مختلف نرم افزار مانند بلادرنگ ، توزیع شده ، تبدیلی و ویژگیهای مورد نیاز مانند همروندی، توزیع شدگی، واکنش ، تعاملی معیارهای تعیین شده، (2) توانایی های روشهای رسمی را براساس معیارهای تعیین شده مشخص و سطح توانایی آنها را تعیین خواهیم نمود. و (3) به کاربرد جهت توصیف و تحلیل نرم افزار بااتکا به معیارهای ارائه شده یک یا ترکیبی از چند روش رسمی را برای توسعه نرم افزار پیشنهاد خواهیم کرد.
Keywords:
Authors
ویدا احمدی ثابت
دانشجوی کارشناسی ارشد نرم افزار دانشگاه آزاد اسلامی واحد اراک
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :