Derivador de programas a partir de especificaciones.