تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار
الموضوعات : electrical and computer engineeringسیدمرتضی بابامیر 1 , ویدا احمدی ثابت 2
1 - دانشگاه کاشان
2 - دانشگاه پیام نور مرکز همدان
الکلمات المفتاحية: توصیف و وارسی نرم‌افزار روش‌های رسمی طبقه‌بندی نرم‌افزار مبتنی بر حالت مبتنی بر رخداد,
ملخص المقالة :
توسعه‌دهندگان نرم‌افزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرم‌افزار تحت توسعه روبه‌رو هستند. هدف ما در این مقاله تعیین سطح توانایی روش‌های رسمی برای توصیف و تحلیل نرم‌افزارهای مختلف در چهار قدم است: در قدم اول معیارهایی که روش‌های رسمی با آنها سنجیده می‌شوند، معرفی می‌شوند. در قدم‌های دوم و سوم انواع نرم‌افزارها و روش‌های رسمی بر اساس رویکردشان در حل مسئله طبقه‌بندی می‌شوند و در قدم چهارم بر اساس معیارهای تعیین‌شده در قدم اول، برازندگی و تناسب چند نمونه از روش‌های رسمی برای توصیف و تحلیل هر طبقه از نرم‌افزار تعیین می‌شود.