CSC 309, Winter 2013, Gene Fisher

CSC 309, Winter 2013
Gene Fisher


General Index:


Items of Near-Term Interest:

Index by Week:

Week 2:

Week 3:

Week 4:

  • lecture notes week 4 -- formal method specification and its use in testing; introduction to system testing techniques

Week 5:

  • lecture notes week 5 -- more design refinement; deriving unit tests from formal specs; introduction to testing implementation

Weeks 6 and 7:

Week 8:

Week 9:

Week 10:



Document File Formats:

Data files are available in the following formats:

  • 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" extension.
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".