ارائه روشی برای جنبه کاوی برمبنای تجزیه ی خودکار

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