5. Formal Specification

This is a first-pass effort on modeling of the major Gradebook Program objects and operations. The major functionality is categorized in four major objects. There’s plenty of refinement work to be done here, as well as modeling of secondary functionality such as File and Edit commands.

 

The modeling files include:

·         gradebook.fmsl

·         class.fmsl

·         student.fmsl

·         gradeditem.fmsl


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