From my experience teaching the Cleanroom method in my software engineering course, I have hypothesized that the use of CASE tools would be helpful in applying the method. Since I do not know of any open-source CASE tools, my students and I have been developing our own, targeted primarily for educational use.
Each download is a JAR file. All were written using Java 5.0. To run
a JAR file, type
java -jar file.jar.
You can download some Java programs it is capable of processing from the following archive: srcviewExamples.jar.
The program can parse most of the Java 5 language. Anonymous inner classes are not included, and are not likely to be included. Please contact me if you have a Java program that it cannot process that lacks anonymous inner classes. Although it can process exception-handling code, it completely ignores the contents of "catch" blocks.
In general, the source code viewer is to be used at your own risk. It is laden with numerous bugs. I am currently rethinking and redesigning it from the ground up.