https://sourceforge.net/p/jmlspecs/wiki/DevelopmentNotes/Recent changes to DevelopmentNotesenFri, 27 Jun 2014 19:26:54 -0000https://sourceforge.net/p/jmlspecs/wiki/DevelopmentNotes/<div class="markdown_content"><h1 id="development-direction">Development Direction</h1> <p>This page gives access to notes and discussions about JML tool and language development. It's been largely overtaken by events. </p> <ul> <li>The original JML2 tools are still available, but for Java 1.4. </li> <li><a class="" href="http://jmlspecs.sourceforge.net">OpenJML</a> is the principal tool available for Java 1.5,6,7. </li> <li>See also the <a class="" href="../JML4">JML4 page</a> for more specific information about the JML4 effort. </li> </ul> <p>Currently we have the following content, representing some of the previous discussion (now essentially closed): </p> <ul> <li><a class="" href="/p/jmlspecs/wiki/JMLECOOP2007BoFNotes/">Notes from the JML BoF at ECOOP, July 29, 2007</a>. </li> <li><a class="" href="/attachment/wiki/DevelopmentNotes/openjdk-evaluation.pdf">An evaluation of OpenJDK as a foundation for the JML tools (pdf)</a></li> <li><a class="" href="/attachment/wiki/DevelopmentNotes/eclipse-jdt-evaluation.pdf">An evaluation of Eclipse JDT as a foundation for JML Reloaded (pdf)</a></li> <li><a class="" href="/attachment/wiki/DevelopmentNotes/JastAddJML_CaseStudy.pdf">A case study (pdf)</a> with Loop Annotations to implement an extensible runtime assertion checker for JML using <a class="" href="http://www.jastadd.org/" rel="nofollow">JastAdd</a></li> </ul></div>Fri, 27 Jun 2014 19:26:54 -0000https://sourceforge.net2ec0aeee7290a58310d50f54f6ca10a9d9afd04e