5. Formal Specification

This is a first-pass effort on modeling of the major Scheduler Tool objects and operations. There are files that correspond the major categories of Scheduler Tool functionality -- Student Input, Instructor View, Instructors Database, Course Database, Rooms Database, Generated Schedule View. There's plenty of refinement work to be done here, as well as modeling of secondary functionality such as File and Edit commands.

The for draft modeling files are these:






Prev: developer-overview | Next: refs | Up: index | Top: index