CS389

Formal Software Development

Spring Semester 2008

Course Organisation/Dates

Course Aims

Lectures

Labs

Coursework

Exams

Resource Materials

Both courseworks are individual pieces of work and there is no viva attached to them.The submission will be electronic.

  • Coursework 1 was on specification.
  • Courework 2 is now out and is on implementation of the parcel sorter. Sent by email. Deadline Friday 3rd May 12:00. To be submitted via email.
Go to the University of Surrey's Home Page Hosted by SEPS @ Surrey This page is maintained by Helen Treharne.