SE 3M04 T1 2004
Lab 3 - (Week of Oct 04)

• Due: At 8pm the day after your assigned lab through WebCT. Although WebCT cannot enforce the deadline automatically, the TAs will enforce it.
• Goals:
  1. Exercises on formulas for expressing software properties.
• Details:
  1. Download this Windows executable and proceed as in lab 1, ie run executable on the command line with your group ID, redirection the output to a text file.
• Deliverables: One .zip or .gz file (your choice), containing exactly two files. One plain text (ASCII) file, "Team_ID".txt containing your answers, and another plain text (ASCII) file, "Team_ID.log" containing your log.

Back to main page