On considère 2 classes liées par l'héritage.
Par exemple :
class Employee { . . . }
class Manager extends Employee { . . . }

Souvent une méthode est définie dans la classe de base, mais a besoin d'être "affinée" dans la classe dérivée. On a par exemple :
class Employee {
   void calculPrime() { // une prime pour un employe }
}


class Manager extends Employee {
   void calculPrime() { // une prime plus importante pour un manager }
}

Les 2 méthodes calculPrime() de ces 2 classes ont même signature. On dit que la méthode calculPrime() de la classe Manager spécialise la méthode calculPrime() de la classe Employee.