تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار
|
|
|
|
|
|
|
|
نویسنده
|
بابامیر مرتضی ,احمدی ثابت ویدا
|
|
منبع
|
مهندسي برق و مهندسي كامپيوتر ايران - 1391 - دوره : 10 - شماره : 1 - صفحه:3 -19
|
|
|
|
|
چکیده
|
توسعه‌دهندگان نرم‌افزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرم‌افزار تحت توسعه روبه‌رو هستند. هدف ما در این مقاله تعیین سطح توانایی روش‌های رسمی برای توصیف و تحلیل نرم‌افزارهای مختلف در چهار قدم است: در قدم اول معیارهایی که روش‌های رسمی با آنها سنجیده می‌شوند، معرفی می‌شوند. در قدم‌های دوم و سوم انواع نرم‌افزارها و روش‌های رسمی بر اساس رویکردشان در حل مسئله طبقه‌بندی می‌شوند و در قدم چهارم بر اساس معیارهای تعیین‌شده در قدم اول، برازندگی و تناسب چند نمونه از روش‌های رسمی برای توصیف و تحلیل هر طبقه از نرم‌افزار تعیین می‌شود.
|
|
کلیدواژه
|
توصیف و وارسی نرم‌افزار، روش‌های رسمی، طبقه‌بندی نرم‌افزار، مبتنی بر حالت، مبتنی بر رخداد
|
|
آدرس
|
دانشگاه کاشان, دانشکده مهندسی کامپیوتر, ایران, دانشگاه پیام نور مرکز همدان, ایران
|
|
پست الکترونیکی
|
v.ahmadisabet@gmail.com
|
|
|
|
|
|
|