بهنوش امینی - دانشگاه پیام نورمرکز تهران
بهمن پوروطن - دانشگاه صنعتی امیرکبیر
حسین شیرازی - دانشگاه صنعتی مالک اشتر

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

ریو - ماشین خودکار محدوده شده - جنبه کاوی - کانسرن های متقاطع و بهسازی