El uso de herramientas de software para ayudar en la transformación de una especificación del programa en un programa que realiza dichas especificaciones.