Como havia comentado anteriormente, Design by Contracts serve para estabelecer um contrato entre o cliente (quem chama uma rotina) e o fornecedor (quem executa uma rotina), abaixo segue um exemplo bem simples da implementação do padrão, na linguagem Nice.

/**
 * Classe para calculos de exemplo da folha
 */
class Folha {
/**
 * Calcular salario
 */
 public float calcularFerias(float salario)
  requires //Requerimentos
   salario > 0 : "Salario deve possuir um valor"
  ensures //Garantias
   result >= salario : "Resultado nao e maior do que o salario"
 {
  //Retorna o valor unitario mais 1/3 do salario
  return 4F/3 * salario;
 }
}

/**
 * Funcao principal
 */
void main(String[] args){
 //Cria uma variavel chamada folha do tipo folha
 let folha = new Folha();
 //Cria uma variavel com o retorno do salario
 let salarioFerias = folha.calcularFerias(1800);
 //Exibe o resultado do calculo
 println("Salario de ferias " salarioFerias);
}

Assim, neste exemplo é garantido o parâmetro salário da função calcularFerias, como sendo um número maior que zero e é garantido que o retorno seja um número maior que o salário.

A quebra do contrato resulta em uma excessão para o sistema, assim garante as pré-condições (requires) e as pós-condições (ensures).