Computer Science 420 - Spring 2012

last updated April 11, 2012

This page is a course resource for David Hutchens's section of CS 420 which meets Tuesday (Roddy 147) and Thursday (Roddy 136), 1:00-2:50.

Text

There is no required textbook for this course.

Major Resources

Assignments

Lecture Notes

Handouts for lecture notes may be found on our Linux machines in ~hutchens420/Handouts.

Here are notes for Axiomatic Proofs of Correctness.

Here are notes for Functional Proofs of Correctness.

Team Project

Eclipse, Java, and Swing Links

Most Useful Resources

Links Related to the Course

Software Engineering Links
UML (Unified Modeling Language)
Design Patterns Books

I am referring to many texts and resources including

Programming Links Other Computing Sites

[ David Hutchens ] [ Millersville CS ]

David Hutchens, hutchens@cs.millersville.edu