L'utilisation d'outils logiciels pour aider à la transformation d'une spécification de programme dans un programme qui se rend compte de cette spécification.