ویدا احمدی ثابت - دانشجوی کارشناسی ارشد نرم افزار دانشگاه آزاد اسلامی واحد اراک

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

روش رسمی، پردازش جبری، مبتنی بر حالت، مبتنی بر رخداد، معیار