CSC 508 Milestone 7

CSC 508 Milestone 7
Formal Model Specification

ISSUED: Monday 15 November 1999
DUE: Friday 26 November 1999

Begin work on formal specification of the specialized artifact object for your project. Specific details for this milestone will be checked into the kdat project directories, under the file

~your-librarian/work/your- project/administration/milestone7.html

Check in of these files will be complete by 12PM Wednesday, 17 November.

Figure 1 is a high-level class diagram showing the context of the specialized artifacts for each Inferno tool.

Figure 1: High-level Inferno class diagram.