"Es una "composicion" materializada de la interpretacion del problema de diseño en conjugacion con la sintesis del programa".