প্রোগ্রামের ডিডাক্টিভ সংশ্লেষণ

প্রোগ্রামের অবরোহী সংশ্লেষণ

প্রাকশর্ত ও উত্তরশর্তসমূহকে কার্যকর কোডে রূপান্তরের জন্য যৌক্তিক অবরোহ নিয়ম ব্যবহার করে আনুষ্ঠানিক বিবরণ থেকে স্বয়ংক্রিয়ভাবে প্রোগ্রাম তৈরির পদ্ধতি।

← ফিরে যান