Formal specifications

One member from each project team must submit the following using the handin directory "project-specification". The full command is "handin cs304 project-specification ", 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 goal of this checkpoint is for you to tell us exactly what to expect from your final application.

You should hand in the following: