Formal specifications

Beginning of class on June 3

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. Check here for an example of the formal specifications.

You should hand in the following:

Check here for more examples of application specifications.