دانش رسان |
مرکز علم و دانش کشور بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit دارای ۱۷ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit :
تعداد صفحات :۱۷
چکیده مقاله:
از جمله روشهای تضمین کننده صحت و درستی سیستمهای کامپیوتری روش وارسیمدل میباشد. بهعبارت بهترروشهای وارسیمدل کوششی برای کاهش خطاهای طراحی و افزایش قابلیت اطمینان سیستمهای حیاتی و حساس بهشمارمیرود. از جمله پرکاربردترین ابزارها در بحث وارسیمدل، ابزار Rabbit میباشد که درکنار مزایای متعدد، از پیچیدگی ساختاری ذاتی مربوط به معماری و مولفههای تشکیل دهنده آن رنج می برد. لذا در این مقاله تلاش شده ضمن معرفیابزارهای وارسی مدل، متامدل خاص حوزه و نحو ذاتی گرافیکی برای برنامههای Rabbit معرفی کنیم تا با افزایش سطح انتزاع، سرعت تولید برنامهها و کارایی آن را تا حد امکان بهبود بخشیم
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
