مقاله معرفی روش صوری VDM و کاربرد آن در مهندسی نرم افزار

توضیحات

  مقاله معرفی روش صوری VDM و کاربرد آن در مهندسی نرم افزار دارای 9 صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد مقاله معرفی روش صوری VDM و کاربرد آن در مهندسی نرم افزار  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله معرفی روش صوری VDM و کاربرد آن در مهندسی نرم افزار،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از متن مقاله معرفی روش صوری VDM و کاربرد آن در مهندسی نرم افزار :

تعداد صفحات:9
چکیده:
در یک دهه اخیر استفاده از روش های صوری جهت توسعه سیستم های قابل اعتماد به شدت فزونی یافته است. در نتیجه روش های صوری متعددی ارائه شده اند که هر یک کاربردهای خاصی همچون توسعه سیستم های همروند، توزیع شده، بلادرنگ و غیره دارند. مفهوم روش های صوری تعداد بی شماری از تکنیک های علمی را برای مدل سازی و کنترل بسیار دقیق سیستم های جهان واقعی توصیف می نماید. یکی از قدیمی ترین روش های صوری اثبات شده جهت توسعه سیستم های مبتنی بر کامپیوتر، روش صوری VDM است. در این مطالعه، به معرفی روش صوری VDM ، زبان مشخصات VDM-SL و تحقیقات انجام شده در زمینه کاربرد آن ها در مهندسی نرم افزار پرداخته شده است.

برای دریافت اینجا کلیک کنید