SE4330 - Software Engineering Project I
Fall, 2009
Instructor:
Rob Hasker
Class Materials
Syllabus
Project
Schedule
&
Other Materials
meeting signup
Class notes
SE Tools
: timelog system
Installing Rational Rose
and related notes
Suggested Exercises
Sample items
Looking up your score on-line.
Labs and Assignments
Assignment 1
: Z specification: toll booths
Assignment 2
: Z specification: elevator, reserving tickets
Assignment 3
: DFDs and DD
Resources
The Z Reference Manual
(available from
here
)
Z/Eves
download and installation; install first the Python file (version 1.5.2) and then Z/Eves.
Other CSSE Classes