Programas por www.jmlspecs.org
-
Java Modeling Language (JML) Livre
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 em design por contrato -- DBC). Ele tem muitas ferramentas