التوليف الاستقرائي للبرامج

تركيب البرامج

فرع من علوم الحاسوب يهدف إلى إنشاء برامج كمبيوتر تلقائيًا تلبي مواصفات عالية المستوى. تجمع هذه المنهجية بين تقنيات البحث والتعلم الآلي والتفكير الرسمي لإنشاء كود وظيفي.

← رجوع