Homepage for ECE450, Spring 2001

Software Engineering II

General Information:

`Instructors:`	`Prof. Marsha Chechik`	`Prof. Eric Hehner`
`Email:`	`chechik@cs.toronto.edu`	`hehner@cs.toronto.edu`
`Office:`	`D.L. Pratt, Room 384, 978-3820`	`D.L. Pratt, Room 398, 978-6026`
`Office hours:`	`Mondays 1-2 p.m., Wednesdays 12 a.m. - 1 p.m.`
`TAs:`	`Albert Lai`
	`Benet Devereux`
`Lectures:`	`Mondays 12-1 in WB130, Wednesdays 11-12 in WB119`
`Tutorials:`	`Fridays 12-1 in WB130 (new)`
`Lab:`	`Wednesdays 12-4 in GB 251`

Course Administration

Information sheet. This discusses the workload and the course policies.
ECE 450 newsgroup - please note that you are not required to read this newsgroup. Answers to questions asked in the newsgroup and general advice regarding the assignments will be posted on the course web page.
Syllabus
Reading list
Current marks

Announcements

May 5: The (unofficial) final marks are now posted on the web site.
May 5: You can pick up assignment 5 ourside Prof. Chechik's office, Pratt 384.
Apr. 17: The TAs will have office hours on Friday, April 20, 12-2 p.m. in rooms Pratt 376 (Albert) and Pratt 378 (Benet). This is a chance to pick up assignment 4, ask questions and discuss marking of any prior assignments, get help for the final exam, etc.
Mar. 31: Information for the final.
Mar. 29: A new version of assignment 5 has been posted. Please disregard the old version.
Mar. 28: Assignment 5 is now available.
Mar. 21: Added a link to assignment 2 solution from the main site. Added pointers to sample SMV programs (at Chechik's lecture notes page).
Mar. 21: Correction: The version of SMV running on skule is NuSMV. It can be envoked as NuSMV (text version), or xNuSMV (graphical version). Please let me know immediately if you have trouble running the software. Reference [6] off our reading list is a manual for nuSMV. Read it and enjoy!
Jan. 25: There is a grand confusion about whether Assignment 1 is to be done in teams or individually. We intended Assignment 0 to be doable in teams, and we said so in class and on the assignment. We did not intend Assignment 1 to be doable in teams, and again said so in class. But the Assignment did not say. And some of you have done it in teams. If you have done it in a team, please do not submit two separate copies of the same assignment tomorrow; there's no point. Instead, submit it as a group with the group members clearly indicated. All future assignments are to be done individually unless indicated otherwise. To compensate for the confusion this time, there will be a future assignment that can be done in teams by those who have done this one individually, but must be done individually by those who have done this one in teams.
Jan. 24: Some clarifications about Assignment 1. For behavioral specification, we would like to see the StateChart for the Elevator controller only. Further, it should look like slide 36 of lecture notes on Darwin, rather than slides 34, 35, 37. Finally, some of you are asking whether this assignment is to be done in a team or by yourself. YOU SHOULD DO THIS ASSIGNMENT INDIVIDUALLY!
Jan. 23: Friday lectures will be moved to WB130. Please note room change.
Jan. 17: Assignment 1: the architectural description should be in Darwin. This assignment is due on Friday, January 26, in tutorial. Darwin references are posted on this page (under links).
Jan. 14: Lecture notes on Darwin have been posted.
Jan. 10: By popular demand, assignment 0 due date is extended until Monday, Jan. 15.