A orientação a objetos é um paradigma de desenvolvimento de softwares baseado no conceito de classes, atributos, métodos e objetos. Quando se tem um método herdado e seu comportamento alterado, a fim de torná-lo mais específico, mas mantendo a sua mesma assinatura, tem-se a característica de: