O uso de ferramentas de software para auxiliar na transformação de uma especificação de programa em um programa que realiza essa especificação.