The files of the formal specification are organized following the functional decomposition presented in the command menubar and outlined in the developer overview. At this abstract stage of development, there is one file for each major functional category. As the specification evolves into the design, the specification will be packaged, and each class will go into its own .java file, as is the standard convention in Java.
These files are located in the newspecification project directory. There is a javadoc subdirectory with the generated model documentation.An older version of the specification has also been archived, but is still viewable in the specification project directory. There is a javadoc subdirectory with the generated model documentation.