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

التوليف الاستنتاجي للبرامج

طريقة لتوليد البرامج تلقائيًا من المواصفات الرسمية باستخدام قواعد الاستنتاج المنطقي لتحويل الشروط المسبقة والشروط اللاحقة إلى كود قابل للتنفيذ.

← رجوع