| 05/11/03 |
The solution and the grades for Homework 5 have been reposted.
See post on the bulletin board for an explanation. |
| 05/09/03 | The grades for Homework 5 have been posted. |
| 05/09/03 | The solutions for Homework 5 have been posted. |
| 05/07/03 | The grades for Homework 4 have been posted. |
| 05/05/03 | The solutions for Homework 4 have been posted. |
| 04/15/03 |
Homework 5 is out.
You can download from the Assignments section of the WebCT page.
It is due on Tue, May 6 at 6:00pm. |
| 04/28/03 | The class notes, readings, and exercises for tomorrow have been posted. |
| 04/24/03 | The exercises for today have been posted. |
| 04/21/03 | The class notes and readings for tomorrow have been posted. |
| 04/16/03 | The grades for Homework 3 have been posted. |
| 04/15/03 |
Homework 4 is out.
You can download from the Assignments section of the WebCT page.
It is due on Tue, Apr 22 at 11:00pm. |
| 04/14/03 | The class notes and readings for tomorrow have been posted. |
| 04/11/03 | The solutions for Homework 3 have been posted. |
| 04/07/03 | The class notes and exercises for tomorrow have been posted. |
| 04/02/03 |
There will be no class tomorrow.
Please check the bulletin board for more details. |
| 03/31/03 | The class notes and exercises for tomorrow have been posted. |
| 03/27/03 |
Homework 3 is out.
You can download from the Assignments section of the WebCT page.
It is due on Tue, Apr 8 at 6:00pm. |
| 03/25/03 | The solutions for the midterm have been posted on the bulletin board. |
| 03/24/03 | The grades for Homework 2 and the midterm have been posted. |
| 03/24/03 | The class notes and exercises for tomorrow have been posted. |
| 03/10/03 |
The solutions for Homework 2 have been posted in the assignment section
of the WebCT pages.
Look for Sol2. |
| 03/05/03 | The class notes for tomorrow have been posted. |
| 03/03/03 | The exercises for tomorrow have been posted. |
| 03/03/03 | The class notes and the readings for tomorrow have been posted. |
| 03/03/03 |
The grades for Homework 1 have been posted in the WebCT section.
The Hw1 column contains your absolute score. The Hw1n column contains the normalization of that score to [1-100]. |
| 02/26/03 | The exercises for this week have been posted. |
| 02/25/03 |
Homework 2 is out.
You can download from the Assignments section of the WebCT page.
It is due on Fri, Mar 7 at 6:00pm. |
| 02/25/03 |
The solutions for Homework 1 have been posted in the assignment section
of the WebCT pages.
Click on HW1 to see and download the solution files 01-intro-to-alloy-model.all and 01-intro-to-alloy-responses.txt. |
| 02/24/03 | The readings for tomorrow have been posted. |
| 02/20/03 | The class notes for this week have been posted. |
| 02/17/03 | The exercises for tomorrow have been posted. |
| 02/10/03 | The class notes and exercises for tomorrow have been posted. |
| 02/06/03 | The class notes and exercises for today's class have been posted. |
| 02/05/03 |
Homework 1 is out.
You can download from the Assignments section of the WebCT page.
It is due on Wed, Feb 19 at 6:00pm. |
| 02/03/03 | Class notes and exercises for tomorrow's class have been posted. |
| 01/29/03 |
The class notes and assignments for tomorrow's class have been posted.
Also, the Tools has been updated to reflect the change in the version of Alloy available in our labs. |
| 01/27/03 |
The class notes for tomorrow's class have been posted.
Also, check the Schedule section for exercises and new readings. |
| 01/22/03 | The class notes for tomorrow's class have been posted. |
| 01/21/03 | The TA office hours have been updated. |
| 01/21/03 | The class notes for today's class have been posted in the Class Notes section. |
| 01/21/03 |
Welcome to the 22c:181 web site! Please check this section at least every other day, for updates to the other sections of the site. |