Paradigm improving clarity, quality, and development time of computer programs through the use of control structures like sequences, selections (if-else), and iterations (loops). Developed in the 1960s, discourages GOTO statement and promotes block structures like subroutines and functions