McMaster University
Software Development for Electrical Engineering

SFWR ENG 3M04, Term I 2004/05

Update 5: Slides for the Nov. 24 class are now posted.
Update 4: Office hours for Oct. 25 and 26th are 15:00-16:00, for midterm questions.
Update 3: See information about midterm at Midterm
Update 2: The labs for th week of Oct 11th are cancelled.
Update: lab section assignments, by id.

Slides     Labs    Exercises    Midterm

Lecture and Labs

Lecture - Wednesday, 19:00-22:00 in HH/109 (changed from BSB/236)


Dr. J. Carette, ITB-168 , ext 26869, Email: carette at

Office Hours: TBD

Teaching Assistants

Naser Faramarzpour ( and Wei Liu (

Course Pack and Textbook

This courses uses both a course pack and a textbook, as follows:

Course Objectives

This course is for people who already know how to program and are familiar with the use of programming languages. The topics of the course are: Basic methods of specifying, designing and documenting software systems; mathematical foundations of formal specifications; modularity; module interface design; coding style; verification and inspection; testing.

Course Information on Web, Project and Slides

The latest version of this outline and the most "up-to date" information as well as hand-outs can be found on the course web page.
(Or go to my home page and then to the course page). The slides and labs can be found there as well. Note that all labs are to be handed in through WebCT.

Mid-terms, Exams, and Grading

Outline of the course lectures

The following outline is approximate and is likely to change.


Slides will be made available online after the lectures.



"The Faculty of Engineering is concerned with ensuring an environment that is free of all adverse discrimination. If there is a problem that cannot be resolved by discussion among the persons concerned individuals are reminded that they should contact there Chair, the Sexual Harassment Office or the Human Rights Consultant, as soon as possible."

Adapted by JC, from pages by MvM and WM. Sept 2004