CPSC 304, Formal specifications

One member from each project team must submit the following using the handin directory "project-spec". The full command is "handin cs304 project-spec", which assumes that the files that you are submitting are in a directory called ~/cs304/project-spec. To do so, you'll need to get an account on the CS ugrad machines.

Note that we expect your final project to have some sort of rudimentary GUI - but it doesn't have to be fancy.

The short version:

Your report should be roughly 2 pages long.

The long version:

The goal of this checkpoint is for you to tell us exactly what to expect from your final application. In particular, we'd like to know: