Programmi di www.jmlspecs.org

Il Java Modeling Language (JML) è un linguaggio di specifica di interfaccia comportamentale che può essere utilizzato per specificare il comportamento dei moduli Java (come nella progettazione per contratto -- DBC). Ha molti