Programas por www.jmlspecs.org

Java Modeling Language (JML) es un lenguaje de especificación de interfaz de comportamiento que se puede utilizar para especificar el comportamiento de los módulos Java (como en el diseño por contrato -- DBC). Tiene muchas he