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:

• File Objects and Operations
• Edit Objects and Operations
• View Objects and Operations
• Question (and Question Database) Objects and Operations
• Test Objects and Operations
• Automatic Grading Objects and Operations
• Student Tool Objects and Operations
• Server Objects and Operations

Since the file handling and editing are less germain to the specific functionality of the Calendar Tool, these two modules are presented after the others. In addtion, there is a calendar database module that defines the user- level functionality of the calendar storage repository.