En el mundo de la programación de computadoras, la programación estructurada es una construcción lógica que permite el funcionamiento eficiente de un programa. Teniendo esto en cuenta, muchos programadores lo entienden como una de las disciplinas que componen el proceso general de la programación procedimental. Una de las ventajas de la implementación de un modelo estructurado de programación es la capacidad de eliminar, o al menos reducir, la necesidad de emplear la declaración GOTO.
La composición esencial de cualquier tipo de programación estructurada tiende a incluir tres elementos básicos: concatenación, selección y repetición. La concatenación tiene que ver con la secuencia lógica de los enunciados que componen los fundamentos de la orden a ejecutar. Cada paso de la secuencia debe progresar lógicamente al siguiente paso sin invocar ninguna actividad no deseada.
El paso de selección permite la selección de cualquiera de una serie de declaraciones a ejecutar, según el estado actual del programa. Generalmente, las declaraciones de selección contendrán palabras clave que ayuden a identificar el orden como un ejecutable lógico, como «si», «entonces», «endif» o «cambiar».
Un tercer componente es la repetición. Dentro de este elemento, una declaración seleccionada permanece activa hasta que el programa llega a un punto en el que es necesario que se lleve a cabo alguna otra acción. Una repetición normalmente incluirá palabras clave como «repetir», «para» o «hacer … hasta». Esencialmente, la repetición indica al programa cuánto tiempo debe continuar la función antes de solicitar más instrucciones.
La naturaleza exacta de la programación estructurada variará, según el propósito y la función del programa. La mayoría de los formularios comenzarán con un solo punto de entrada, pero pueden permitir más de un punto de salida. Algunos tipos, a veces denominados programación modular, permitirán la creación de subconjuntos o módulos dentro de la estructura general del programa que interactúan entre sí, según el tipo de orden que se ejecute.