Programas por www.jmlspecs.org

O Java Modeling Language (JML) é uma linguagem de especificação de interface comportamental que pode ser usada para especificar o comportamento dos módulos Java (como no design por contrato -- DBC). Tem muitas ferramentas par