CSC 309, Winter 2013, Gene Fisher
CSC 309, Winter 2013
-- lecture notes, as presented in class
-- various informational handouts, distributed in class
-- requirements specs from CSC 308 (or 205), being implemented in CSC 309
-- project examples, excerpts handed out in class
-- documentation and downloads for tools
-- directory of linkable libraries, including the MVP package
-- directory of executable tools
-- project milestone evaluations (requires group password to enter)
Items of Near-Term Interest:
Index by Week:
lecture notes week 4
-- formal method specification and its use in testing; introduction to system
lecture notes week 5
-- more design refinement; deriving unit tests from formal specs; introduction
to testing implementation
Weeks 6 and 7:
-- completed design, implementation, and testing; final presentation
lecture notes week 9
-- administrative matters; introduction to "classic" design patterns
Document File Formats:
Data files are available in the following formats:
Most file links point to HTML files. To access the PDF version of a document,
replace the ".html" extension in the browser address bar with ".pdf".
HTML, suitable for viewing with a WWW browser; these
files have a ".html" extension.
PDF, suitable for viewing with Adobe Reader; these
files have a ".pdf" extension.
PostScript, suitable for viewing on a PostScript
previewer and printing on a PostScript printer; these files have a ".ps"