کاربرد خودکار تعامل مولفه ها درتوصیف ووارسی سیستم ها با استفاده از ابزار CoIn وDiVinE: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
- سال انتشار: 1391
- محل انتشار: دومین کنفرانس ملی مهندسی نرم افزار دانشگاه آزاد لاهیجان
- کد COI اختصاصی: LNCSE02_098
- زبان مقاله: فارسی
- تعداد مشاهده: 1628
نویسندگان
دانشگاه تبریز
دانشگاه آزاد اسلامی زنجان
چکیده
با افزایش پیچیدگی سیستم های کامپیوتری توسعه روشهای صوری جهت اثبات درستی آنها اهمیت مضاعفی پیدا کرده است دردنیای واقعی و درصنعت نرم افزار روشهای مختلفی برای تحلیل خودکار و وارسی سیستم ها وجود دارند کهبرخی از این روشها برای توصیف طراحی و وارسی سیستم های مبتنی برمولفه ها نیز مفید واقع شده اند یکی ازاین روشهای جدید خودکارهای تعامل مولفه ها است این خودکارها برای وارسی سیستم های بزرگ به کارمیروند به این ترتیب که سیستم های بزرگ به سیستم های کوچک تجزیه شده و ازاثبات درستی هریک از این زیرسیستم ها درستی کل سیستم استنتاج می شود هدف اصلی این مقاله استفاده از این خودکارها درتوصیف دقیق سیستم های نرم افزاری است که هم بصورت دستی و هم با استفاده از ابزار CoIn مدل شده و بعداز تولید کد coin درمحیط DiVinE قابل اجرا می گردد تا وارسی مدل نیز انجام شود.کلیدواژه ها
توسعه مبتنی برمولفه خودکارتعامل مولفه تحلیل صوری، وارسی بررسی درستی زبانهای مبتنی برخودکارها، ابزار CoIn & DiVinEمقالات مرتبط جدید
- مرور سیستماتیک کاربرد هوش مصنوعی در موسیقی
- In-silico Analyses for Finding Potential Key Genes and Pathways Associated with Guillain-Barré Syndrome Using Computational Tools
- OCD Severity Based on EEG Signals
- Investigating the (non) -Impact of Customizing Knowledge Bases of Artificial Intelligence -Driven Robot on Language for Specific Purposes Learning
- The Need for Telehealth and Tele-Educationon in Optimizing Measles Surveillance and Reducing Healthcare Costs
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.