En informática la programación es un proceso por el cual se escribe el denominado código fuente en un lenguaje de programación, el mismo se prueba, se depura y se mantiene. Al interior de la informática, los programas son los elementos que, derivados de un algoritmo, forman el código fuente, que es el conjunto de las instrucciones que ejecuta el hardware de una computadora para realizar una tarea determinada. Para el desarrollo de programas de cierta envergadura o complejos, con ciertas garantías de calidad, es conveniente seguir alguno de los modelos de proceso del software, donde la programación es sólo una de las etapas para el desarrollo del software. Un algoritmo es una secuencia no ambigua, finita y ordenada de instrucciones que han de seguirse para resolver un problema. Un programa normalmente implementa un algoritmo. Debe considerarse que la secuencia de instrucciones en sí es la que debe ser finita, no el número de pasos realizados como la ejecución de ellas. Los programas suelen subdividirse en partes menores, llamadas módulos, de modo que la complejidad algorítmica de cada una de las partes sea menor que la del programa completo, lo cual ayuda al desarrollo del programa. Según el investigador Niklaus Wirth, un programa está formado por algoritmos y estructura de datos.
