Um programador construiu uma classe que se comprometia a entregar o cálculo do tempo de serviço dos colaboradores de uma determinada empresa. Isto foi possível pela declaração de um ou mais métodos que possuíam ou não corpo. Este relato se refere a uma definição contratual da classe conhecido como: