Programmes par www.jmlspecs.org

Le langage de modélisation Java (JML) est un langage de spécification d’interface comportementale qui peut être utilisé pour spécifier le comportement des modules Java (comme dans la conception par contrat - DBC). Il dispose