La programmation par aspects (en anglais « aspect-oriented programming ») est un style de développement logiciel qui est apparu dans la seconde moitié des années 1990. Elle complète les styles existants, objet, procédural et fonctionnel, avec un support pour la programmation de fonctionnalités dites transverses. Elle permet d'améliorer la modularité des programmes informatiques. Cet article présente la genèse de la programmation par aspects, les concepts qui la composent et la façon dont ils sont mis en œuvre dans deux approches majeures du domaine : le langage de programmation AspectJ et le cadriciel Spring AOP.