Der Begriff Spezialisierung wird auch in der objektorientierten Programmierung verwendet. Unter Spezialisierung versteht man die Definitionen einer neuen Klasse als Unterklasse einer oder mehrerer anderer Klassen (Oberklassen). Aufgrund der Vererbung besitzt die neue Klasse alle Merkmale ihrer Oberklassen. In ihrer Klassendefinition können jedoch zusätzliche Merkmale ( Erweiterung) definiert oder geerbte Merkmale überschrieben ( Redefinition) werden. Die neue Klasse stellt deshalb eine Spezialisierung ihrer Oberklassen dar. Eine Unterklasse muss jedoch nicht unbedingt zusätzliche Merkmale oder geerbte Merkmale redefinieren, sie kann auch ausschließlich aus der Vereinigung der Merkmale ihrer Oberklasse gebildet sein - hier spricht man auch von aggregierten Klassen.