CSC 509, Winter 2000, Gene Fisher

CSC 509, Winter 2000
Gene Fisher

General Index:

lectures -- lecture notes, as presented in class

handouts -- various informational handouts, distributed in class

examples -- project examples, excerpts handed out in class

doc -- documentation for tools

Index by Week:

Week 10:

lecture notes week 10 -- introduction to formal program verification

Week 9:

lecture notes week 8 -- research in testing tools and techniques

Week 8:

lecture notes week 8 -- introduction to system testing

Week 7:

milestone 4 writeup -- guidelines for module coupling and cohesion
lecture notes week 7 -- guidelines for module coupling and cohesion

Week 6:

milestone 3 writeup -- refined initial design and view design
lecture notes weeks 5 and 6 -- MVP design discussion

Week 4:

lecture notes week 4 -- individual design group meetings

Week 3:

lecture notes week 3 -- gun and camera tour of model/view design and stubbed implementation for the rolodex tool

Week 2:

milestone 2 writeup -- initial design
lecture notes 2 -- high-level inferno design; rolodex mvp design example

Week 1:

course syllabus -- overview of to the course
milestone 1 writeup plus addendum -- specification review and group formation
lecture notes week 1 -- introduction to the course; introduction to the design process

Document File Formats

Data files are available in the following formats:

HTML, suitable for viewing with a WWW browser (such as Netscape or Internet Explorer); these files have a ".html" extension.

PostScript, suitable for viewing on a workstation previewer (such as ghostview) or printing on a PostScript printer; all paper notes and handouts distributed in class are printed from the online PostScript files; these files have a ".ps" extension.

Plain ASCII text, suitable for viewing on a plain ASCII terminal or with a plain text editor (such as emacs or vi ); note that plain text files do not contain figures that require graphic display; plain text files have a ".txt" extension.

Troff -me format, generally unsuitable for human use; the troff files are used to generate PostScript, HTML, and ASCII text files from a common source; these files have a ".me" extension.

Most file links in an HTML document, point to other HTML files. To access the PostScript or plain text version of a document, go to the desired directory and view the desired file with the ".ps" or ".txt" extension.