5. Formal Specification

• Student (student.sl)
• Category (category.sl)
• Gradebook (gradebook.sl)
• Grader (Grader.sl)
• Score (score.sl)
• Graded Item (gradeditem.sl)
• E-TurnIn (eturnin.sl)
• Final Grade Distribution (final_grade_distribution.sl)
• Grade Scheme (grade_scheme.sl)
• Graphs (graphs.sl)