LIU Image Editor is a Scripts software developed by The J Maker. After our trial and test, the software is proved to be official, secure and free. Here is the official description for LIU Image Editor:

BSEditor: Most of the ideas in LIU are inspired from general image processing, computer vision and graphics books, and from commercial packages like Photoshop, PhotoVision, XV, Image Magick, GIMP, etc. Some of the algorithms are my own inventions, especially in the category, \\\\\\\"Special Effect\\\\\\\". Programs can be run either individually or invoked from the main menu. They can start as applications or applets. While executed as an applet, it will not be able to save the results due to Java\\\\\\\'s security reasons and the \\\\\\\"data\\\\\\\" subprogram will not function properly. Reading multiple local and URL images is supported.Pong Game Applet is a Scripts software developed by jdonohue.com. After our trial and test, the software is proved to be official, secure and free. Here is the official description for Pong Game Applet:

EditByBSEditor: Create Pong game with this toolJava Modeling Language is a Scripts software developed by jmlspecs-interest. After our trial and test, the software is proved to be official, secure and free. Here is the official description for Java Modeling Language:

The draft paper Design by Contract with JML explains the most basic use of JML as a design by contract language for Java.

The papers below describe JML very briefly and some of its tools. The paper Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 contains a description of JML and its tools that is suitable for those who are already more familiar with the idea of assertions. The second gives a summary of all known tools.