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:

• edit.rsl
• ile.rsl
• gradesheet.rsl
• graphs.rsl
• history.rsl
• import.rsl
• item.rsl
• main.rsl
• student.rsl
• studentIF.rsl
• tools.rsl
• view.rsl