Students will be evaluated in this class through a series of homeworks, a midterm, and a class project. The class project will involve implementing a non-trivial multi-threaded program that has been designed using specification/modeling techniques covered in class. Students may form teams to work on the final project, if they wish.

Kenneth M. Anderson, 2007.