22c:181 Formal Methods in Software Engineering
Fall 2013

Homework

Homework in this course consists in basic assignments and mini-projects.

Students can work on assignment and mini-projecst in a team of up to 2 people. Each student is responsible for contacting other students and form a team. For initial contacts, you are welcome to use the Discussion tool in this course's ICON site. It is okay to form different teams for each assignment/project.

Teams of 1 are accepted but not encouraged. In particular, no reduction of work will be granted to them.

Even for teams of 2, the grade for the project will be given on an individual basis. All students will be asked to submit an evaluations (on a form provided by the instructor) of how well they and their teammate performed as team members. Each evaluation is confidential and will be be incorporated into the calculation of the project grade.

Assignments and mini-projects will be posted in ICON's Dropbox during the semester.



Copyright: Cesare Tinelli, The University of Iowa, 2013