| 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
توسعهدهندگان نرمافزار به دلایل مختلف با مشکل انتخاب روش
رسمی متناسب با نرمافزار تحت توسعه روبهرو هستند. هدف ما در این مقاله
تعیین سطح توانایی روشهای رسمی برای توصیف و تحلیل نرمافزارهای مختلف
در چهار قدم است: در قدم اول معیارهایی که روشهای رسمی با آنها سنجیده
میشوند، معرفی میشوند. در قدمهای دوم و سوم انواع نرمافزارها و روشهای
رسمی بر اساس رویکردشان در حل مسئله طبقهبندی میشوند و در قدم چهارم
بر اساس معیارهای تعیینشده در قدم اول، برازندگی و تناسب چند نمونه از
روشهای رسمی برای توصیف و تحلیل هر طبقه از نرمافزار تعیین میشود.
