Proceso para la formulación original de un problema informático a programas informáticos ejecutables como análisis, desarrollo, algoritmos y verificación.