کاربرد خودکارهای تعامل مولفه ها درتوصیف و وارسی سیستم ها: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
- سال انتشار: 1391
- محل انتشار: پانزدهمین کنفرانس دانشجویی مهندسی برق ایران
- کد COI اختصاصی: ISCEE15_079
- زبان مقاله: فارسی
- تعداد مشاهده: 1096
نویسندگان
استادیار دانشگاه تبریز
دانشجوی کارشناسی ارشد
چکیده
امروزه با افزایش حجم سیس تم های کامپیوتری استفاده ازمهندسی نرم افزار مبتنی برمولفه ها به عنوان یک راه حل اساسی برای توصیف طراحی و پیاده سای این سیستم ها مطرح است درسیستم های مبتنی برمولفه هدف اصلی سیستم ایجاد سیستم با ترکیب مولفه های موجود است این روش مهندسی درمورد استفاده مجدد از مولفه های موجود مزایایی دارد اما درخصوص افزایش انعطاف پذیری توصیف دقیق کل سیستم و اثبات درستی سیستم ضعفهای اساسی دارد برای رفع یان ضعفها روشهای صوری متعددی ارایه شده است یکی از این روشهای جدید خودکارهای تعامل مولفه ها می باشد هدف اصلی این مقاله استفاده از این خودکارها درتوصیف دقیق سیستمهای نرم افزاری است دراین راستا سیستم سوخت رسانی خودروهای انژکتوری را با استفاده ازمولفه ها توصیف نموده و برای هرکدام از آنها خودکارتعامل ترسیم می نماییمکلیدواژه ها
توسعه مبتنی برمولفه، خودکارتعامل مولفه، تحلیل صوری، وارسی بررسی درستی، زبانهای مبتنی برخودکارهامقالات مرتبط جدید
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.