(1) En ingeniería de software, el proceso de expresar un programa de ordenador en una programación language.~(2) la transformación de la lógica y los datos de las especificaciones de diseño (descripciones de diseño) en un lenguaje de programación.