JTombstone is a program for finding dead code in your Java programs. It reports on dead code at the method level, by processing Java class files. No source code is needed to use it. JTombstone is a Java program and requires JDK 1.4 or later.

Xphere IDE is an Integrated Development Environment based on Eclipse and intended for developing JAVA Applications, JAVA Applets, JAVA SERVLETS, EJB's and PHP software. Xphere IDE is a compilation of Eclipse plugins and other software.

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.