La programmation orientée aspects, ou AOP (Aspect Oriented Programming), est une nouvelle manière de modulariser un programme. En effet, la programmation orientée objets définit des unités fonctionnelles autonomes. Mais pour assurer cette autonomie, un certain nombre de méthodes doivent être répétées - par exemple, celles concernant la synchronisation, la distribution, le partage de ressources, l'optimisation de performances, la gestion des erreurs, la supervision ou la persistance. Un programme orienté aspects comprend donc un " aspect de base " correspondant à la partie métier, qui concerne l'utilisateur, et les aspects plus techniques, relatifs à ces thèmes transversaux. Ces derniers sont développés de manière indépendante, éventuellement avec un langage spécifique, ce qui permet de les confier aux experts, l'utilisateur s'occupant de l'aspect de base. Ce mode de programmation donne la possibilité de réutiliser un aspect d'une application dans une autre ou d'une partie du programme dans un autre. Il simplifie également la maintenance de l'application, les aspects techniques pouvant être modifiés indépendamment de l'évolution fonctionnelle, et inversement.

Imaginée il y a quelques années par Gregor Kiczales au Xerox Parc (Palo Alto Research Center), la programmation orientée aspect est apparentée à d'autres approches, comme la métaprogrammation, la programmation adaptative (Northeastern University) ou la " programmation subjective " (IBM). Le concept a d'abord été appliqué au langage Lisp, puis le même groupe de chercheurs du Parc a mis en oeuvre ces idées dans AspectJ, une extension de Java. En France, l'essentiel des travaux sur l'AOP est mené à l'Ecole des mines de Nantes.