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

چکیده مقاله

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