5. Formal Specification

The modules of the formal specification are generally organized following the functional decomposition presented in the command menubar and outlined in the developer overview. The modules are the following:

Since the file handling and editing are less germain to the specific functionality of the CSTutor Tool, these two modules are presented after the others.






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