(1) En génie logiciel, le processus d'exprimer un programme d'ordinateur dans une programmation language.~(2) la transformation de la logique et les données de spécifications de conception (design descriptions) dans un langage de programmation.