1 relação: Programação por contrato.
Programação por contrato
Programação por contrato do inglês Design by contract (DbC) é um abordagem de desenvolvimento de software que prescreve que os desenvolvedores devem definir métodos formais, especificações de interface precisas e verificáveis dos componentes de desenvolvimento de software, que acarreta na definição de Tipo Abstrato de Dados com pre-condições, pos-condições e constantes.
Novo!!: Java Modeling Language e Programação por contrato · Veja mais »
Redireciona aqui:
JML.