5. Formal Specification

The files of the formal specification are organized by package, each one a logical collection of related classes.

These files are located in the specification project directory. The javadoc subdirectory contains the generated model documentation.




Prev: developer-overview | Next: [none] | Up: index | Top: index