Iniciado sobre programação por contrato