معرفی روش صوری VDM و کاربرد آن در مهندسی نرم افزار
محل انتشار: کنفرانس ملی علوم مهندسی، ایده های نو (۸)
سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,331
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
AIHE08_457
تاریخ نمایه سازی: 13 آبان 1393
چکیده مقاله:
در یک دهه اخیر استفاده از روش های صوری جهت توسعه سیستم های قابل اعتماد به شدت فزونی یافته است. در نتیجه روش های صوری متعددی ارائه شده اند که هر یک کاربردهای خاصی همچون توسعه سیستم های همروند، توزیع شده، بلادرنگ و غیره دارند. مفهوم روش های صوری تعداد بی شماری از تکنیک های علمی را برای مدل سازی و کنترل بسیار دقیق سیستم های جهان واقعی توصیف می نماید. یکی از قدیمی ترین روش های صوری اثبات شده جهت توسعه سیستم های مبتنی بر کامپیوتر، روش صوری VDM است. در این مطالعه، به معرفی روش صوری VDM ، زبان مشخصات VDM-SL و تحقیقات انجام شده در زمینه کاربرد آن ها در مهندسی نرم افزار پرداخته شده است.
کلیدواژه ها:
نویسندگان
نونا قاسمی
مدرس آموزشکده فنی و حرفه ای سما، دانشگاه آزاد اسلامی واحد تنکابن، ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :