The files of the formal specification are organized following the functional decomposition presented in the tabs in the gradebook and outlined in the functional requirements. At this abstract stage of development, there are only a few files for each major functional category. As the specification evolves into the design, more .java files will be added to each package.
These files are located in the specification project directory. There javadoc subdirectory with the generated model documentation. the clases in the model.