CSC 2108F, Fall 1999

List of Sample Projects

The following are some suggestions regarding final projects in this class.  They are separated into three groups: Here are some ideas about possible topics:

Survey

Learn a method and do an example

Verify something medium-sized

The "deliverable" of this project is a project report.   In a survey-style paper, this is the entire deliverable.  Explain who does what, what are the basic ideas, illustrate with examples, compare and contrast.  In a "learn a method"-style paper, explain enough about the method so the readers can follow the example, then include the description of the example, followed by model of the example and the properties you verified; finally, discuss the experience.  In a verification-style paper,  include the description of the system you verified, the model, the properties, the results of the verification, and the experience.


Marsha Chechik
Last modified on November 23, 1999