Síntesis deductiva de programas

Síntesis deductiva de programas

Método de generación automática de programas a partir de especificaciones formales utilizando reglas de deducción lógica para transformar las precondiciones y postcondiciones en código ejecutable.

← Volver