کاربرد خودکارهای تعامل مولفه ها درتوصیف و وارسی سیستم ها: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
Publish place: 15th Iranian Student Conference on Electrical Engineering
Publish Year: 1391
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 990
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCEE15_079
تاریخ نمایه سازی: 3 آذر 1391
Abstract:
امروزه با افزایش حجم سیس تم های کامپیوتری استفاده ازمهندسی نرم افزار مبتنی برمولفه ها به عنوان یک راه حل اساسی برای توصیف طراحی و پیاده سای این سیستم ها مطرح است درسیستم های مبتنی برمولفه هدف اصلی سیستم ایجاد سیستم با ترکیب مولفه های موجود است این روش مهندسی درمورد استفاده مجدد از مولفه های موجود مزایایی دارد اما درخصوص افزایش انعطاف پذیری توصیف دقیق کل سیستم و اثبات درستی سیستم ضعفهای اساسی دارد برای رفع یان ضعفها روشهای صوری متعددی ارایه شده است یکی از این روشهای جدید خودکارهای تعامل مولفه ها می باشد هدف اصلی این مقاله استفاده از این خودکارها درتوصیف دقیق سیستمهای نرم افزاری است دراین راستا سیستم سوخت رسانی خودروهای انژکتوری را با استفاده ازمولفه ها توصیف نموده و برای هرکدام از آنها خودکارتعامل ترسیم می نماییم
Keywords:
Authors
جابر کریم پور
استادیار دانشگاه تبریز
ساناز خبرت
دانشجوی کارشناسی ارشد
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :