Tools

• A tutorial and reference manual on eUML can be found here.
• UMLet
  • Download UMLet from http://www.umlet.com
  • Installation instructions for use as an Eclipse plugin
  • or as a stand alone application on Windows.
  • On Linux download and unpack the zip-file and then start the jar-file with java -jar umlet.jar.
• JML
  • Download JML from here
  • Unpack the tar file JML.5.5.tar.gz. This creates the JML directory.
  • To start the tool execute java -jar JML/bin/jml-release.jar on Linux or by double-clicking on the .jar file on Windows.
  • To start the GUI for the JML Runtime Assertion Checker Compiler (jmlc) press the respective button. You will be asked to browse for the JML specs directory, which is JML/specs
  • Note: JML basically understands the syntax of Java 1.4. The only feature of Java 5 that is implemented are generics (via selection generic in the Advanced options tab). For example, It does not understand the new syntax for the for loop, e.g. for (Svoemmer svoemmer : svoemmers)
  • To run the class files generated by jmlc, one has to include JML/bin/jml-release.jar in the class path of java, e.g. by using java -classpath .:JML/bin/jml-release.jar ClassWithMainMethod on Linux.