The Java Modeling Language (JML)
cs.iastate.eduA behavioral interface specification language that can be used to specify the behavior of Java modules.
A behavioral interface specification language that can be used to specify the behavior of Java modules.