| Authors | سید مرتضی بابامیر,ویدا احمدی ثابت |
|---|---|
| Journal | نشریه مهندسی برق و مهندسی کامپیوتر ایران |
| Page number | 1 |
| Volume number | 10 |
| IF | ثبت نشده |
| Paper Type | Full Paper |
| Published At | 2012-06-08 |
| Journal Grade | Scientific - research |
| Journal Type | Electronic |
| Journal Country | Iran, Islamic Republic Of |
| Journal Index | ISC |
Abstract
توسعهدهندگان نرمافزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرمافزار تحت توسعه روبهرو هستند. هدف ما در این مقاله تعیین سطح توانایی روشهای رسمی برای توصیف و تحلیل نرمافزارهای مختلف در چهار قدم است: در قدم اول معیارهایی که روشهای رسمی با آنها سنجیده میشوند، معرفی میشوند. در قدمهای دوم و سوم انواع نرمافزارها و روشهای رسمی بر اساس رویکردشان در حل مسئله طبقهبندی میشوند و در قدم چهارم بر اساس معیارهای تعیینشده در قدم اول، برازندگی و تناسب چند نمونه از روشهای رسمی برای توصیف و تحلیل هر طبقه از نرمافزار تعیین میشود.
tags: توصیف و وارسی نرمافزار، روشهای رسمی، طبقهبندی نرمافزار، مبتنی بر حالت، مبتنی بر رخداد.