A specification language design for the Java Modeling Language (JML) using Java 5 annotations有关JAVA语言设计的国外08年的博士论文-The Java Modeling Language (JML) is one such specification language for Java that uses comments to specify contracts. However, star

it is PDF for How to write the right JML for our code.. Very Helpful for new users