5. Formal Specification

This is a first-pass effort on modeling the major eClass Tool objects.





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