Computer Science 435/535
Software Engineering


Important copyright notice

The following material is presented to ensure timely dissemination of information among the students in the classes I teach. Further distribution of this material is prohibited, and constitutes a copyright and honor code violation.


Syllabus

You can retrieve the syllabus for CSci 435/535.


Notation

Notation is very important in our field. I have prepared a table of symbols I most frequently use. You can retrieve the LaTeX source Notation.tex , or the postscript file Notation.ps obtained from it.


Typesetting your homeworks

You are required to typeset your homeworks using LaTeX (latex on our system), the standard high-quality typesetting program in our field. To include figures in your homework, you can draw them using TGIF (tgif on our system), or any other graphical tool available to you, and save them as EPS files. Here is an example of how to include a file Figure.eps, generated from the TGIF file Figure.obj, into a file Figure.tex.

Here is an example of how to use citations in LaTex. Copy file BibtexExample.tex to a directory of yours, then link file ALL.bib to that directory with the command
ln -s ~ciardo/Library/TeX/bib/ALL.bib .
and finally run the commands
latex BibtexExample
bibtex BibtexExample
latex BibtexExample
latex BibtexExample
(in the order).


Homeworks

I will post here the text of homeworks assigned in class. If any of the following files is not found, it means that the corresponding homework is not yet available.

You can also retrieve the above files through regular Unix commands. They are in

~ciardo/public_html/teaching/CSci435


Last updated: January 20, 2002. Report suggestions and problems to: ciardo@cs.wm.edu
URL: http://www.cs.wm.edu/~ciardo/teaching/CSci435/CSci435.html