No contexto do desenvolvimento de um sistema orientado a objetos em Java, um Analista de Sistemas está projetando uma hierarquia de classes para representar diferentes formas de cálculo de benefícios em um sistema governamental. Durante a implementação, foi definido que:
•Esse método é redefinido nas subclasses, mantendo o mesmo nome, a mesma lista de parâmetros (assinatura) e o mesmo tipo de retorno (ou compatível/covariante).
•A escolha de qual implementação será executada ocorre em tempo de execução, de acordo com o tipo real do objeto.
Considerando os conceitos de polimorfismo na orientação a objetos, assinale a alternativa que representa CORRETAMENTE esse mecanismo.