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)
- Class Diagrams:
- UML Diagrams:
Design Patterns
Books
I am referring to many texts and resources including
-
Fundamentals of Software Engineering, 2nd Edition,
Ghezzi, Jazayeri, and Mandrioli, Prentice Hall, 2003.
-
Object-Oriented Software Engineering: Practical Software Development using UML and Java,
2nd edition. Timothy C. Lethbridge and Robert Laganiere.
ISBN 0-07-710908-2. (US ISBN 0-07-322034-5)
-
Balancing Agility and Discipline,
Barry Boehm and Richard Turner, Addison-Wesley, 2004.
ISBN 0-321-18612-5.
You may see snippets of this book at
informit.com
including the Prelude which is given in its entirety.
-
Design Patterns: Elements of Reusable Object-Oriented Software,
Erich Gamma, Richard Helm, Ralph Johnson, John Vlissades (Gang of Four), Addison-Wesley, 1995.
ISBN 0-201-633612.
-
Object-Oriented Design and Patterns,
Cay Horstmann, Wiley, 2004.
ISBN 0-471-31966-X.
Programming Links
Other Computing Sites
David Hutchens, hutchens@cs.millersville.edu