تعيين سطح توانايي روش هاي رسمي در توصيف و تحليل نرم افزار

توسعه‌دهندگان نرم‌افزار به دلايل مختلف با مشكل انتخاب روش رسمي متناسب با نرم‌افزار تحت توسعه روبه‌رو هستند. هدف ما در اين مقاله تعيين سطح توانايي روش‌هاي رسمي براي توصيف و تحليل نرم‌افزارهاي مختلف در چهار قدم است: در قدم اول معيارهايي كه روش‌هاي رسمي با آنها سنجيده مي‌شوند، معرفي مي‌شوند. در قدم‌هاي دوم و سوم انواع نرم‌افزارها و روش‌هاي رسمي بر اساس رويكردشان در حل مسئله طبقه‌بندي مي‌شوند و در قدم چهارم بر اساس معيارهاي تعيين‌شده در قدم اول، برازندگي و تناسب چند نمونه از روش‌هاي رسمي براي توصيف و تحليل هر طبقه از نرم‌افزار تعيين مي‌شود.