لطفا جهت دانلود بر روی گزینه زیر کلیک کنید
چکیده:
توسعه دهندگان نرم افزار به دلايل مختلف با مشکل انتخاب روش رسمي متناسب با نرم افزار تحت توسعه روبه رو هستند. هدف ما در اين مقاله تعيين سطح توانايي روش هاي رسمي براي توصيف و تحليل نرم افزارهاي مختلف در چهار قدم است: در قدم اول معيارهايي که روش هاي رسمي با آنها سنجيده مي شوند، معرفي مي شوند. در قدم هاي دوم و سوم انواع نرم افزارها و روش هاي رسمي بر اساس رويکردشان در حل مساله طبقه بندي مي شوند و در قدم چهارم بر اساس معيارهاي تعيين شده در قدم اول، برازندگي و تناسب چند نمونه از روش هاي رسمي براي توصيف و تحليل هر طبقه از نرم افزار تعيين مي شود.
[gview file=”http://www.sid.ir/fa/VEWSSID/J_pdf/7001313910101.pdf” save=”1″]
