ی از متن فایل word مقاله ارائه روشی مبتنی بر معیار برای تعیین سطح توانایی روشهای رسمی در توصیف و تحلیل نرم افزار : تعداد صفحات:13 چکیده: توسعه دهندگان نرم افزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرم افزار تحت توسعه روبرو هستند هدف ما در این مقاله ارائه یک روش نظام مند جهت تعیین سطح توانایی روشهای رسمی برای توصیف و تحلیل نرم ا فزارهای مختلف می باشد که دراین مقاله (1) براساس نوعهای مختلف نرم افزار مانند بلادرنگ ، توزیع شده ، تبدیلی و ویژگیهای مورد نیاز مانند همروندی، توزیع شدگی، واکنش ، تعاملی معیارهای تعیین شده، (2) توانایی های روشهای رسمی را براساس معیارهای تعیین شده مشخص و سطح توانایی آنها را تعیین خواهیم نمود. و (3) به کاربرد جهت توصیف �