| نویسندگان | سید مرتضی بابامیر,ویدا احمدی ثابت |
|---|---|
| نشریه | نشریه مهندسی برق و مهندسی کامپیوتر ایران |
| شماره صفحات | 1 |
| شماره مجلد | 10 |
| ضریب تاثیر (IF) | ثبت نشده |
| نوع مقاله | Full Paper |
| تاریخ انتشار | 2012-06-08 |
| رتبه نشریه | علمی - پژوهشی |
| نوع نشریه | الکترونیکی |
| کشور محل چاپ | ایران |
| نمایه نشریه | ISC |
چکیده مقاله
توسعهدهندگان نرمافزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرمافزار تحت توسعه روبهرو هستند. هدف ما در این مقاله تعیین سطح توانایی روشهای رسمی برای توصیف و تحلیل نرمافزارهای مختلف در چهار قدم است: در قدم اول معیارهایی که روشهای رسمی با آنها سنجیده میشوند، معرفی میشوند. در قدمهای دوم و سوم انواع نرمافزارها و روشهای رسمی بر اساس رویکردشان در حل مسئله طبقهبندی میشوند و در قدم چهارم بر اساس معیارهای تعیینشده در قدم اول، برازندگی و تناسب چند نمونه از روشهای رسمی برای توصیف و تحلیل هر طبقه از نرمافزار تعیین میشود.