Com S 362 - Resources

Resources

This page provides information on some of the resources available for students in Com S 362. The page is organized as follows:

Miscellaneous Resources: about the course, Object-Oriented Analysis and Design, Object-Orientation (in general), Java, and formal methods.
Reserve List: A list of materials on reserve at the Parks library

Miscellaneous Resources

The following are some links to various resources you may find useful about the course, Object-Oriented Analysis and Design, Object-Orientation (in general), Java, and formal methods in general.

Course Resources

student projects for this semester.
Potential student project visions for this semester.
The "certification of individual contributions and understanding form" is available in the following formats:
Meeting outlines directory, containing outline files for the "lectures".
Lecture notes directory, containing strangely formatted notes for the "lectures". We recommend that students use the meeting outlines (above) instead.
Old lecture notes directory, from Spring 2002.
StickSync Project
Errata for Design Patterns Explained: A New Perspective on Object-Oriented Design. (Addison-Wesley, 2002) by Alan Shalloway and James R. Trott.
Errata for Design Patterns: Elements of Reusable Object-Oriented Software by Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides (Addison-Wesley, 1995).
The Design Patterns Companion for Java
How to:
- Make password-protected web sites on Project Vincent.
- Make password-protected web sites on the Com S machines.
For editing, we recommend the Eclipse IDE. It is available on the department Linux machine "popeye" (and perhaps others). See the Eclipse FAQ for help with Eclipse.
Another Java editor is jEdit.
Basics of Java Development website that has help for using Eclipse.
You don't need to use a graphical editor for UML diagrams, but if you want to, try EclipseUML with Eclipse. The department has Rational Rose on its Windows machines. Another possibility is Together. Yet another is ArgoUML.
For version control of code and other artifacts we recommend that you use the Concurrent Version control System (CVS). This lives on the Com S department Linux machines under /usr/unsup/bin, which should already be in your PATH. You can also get it for you home machines (it's part of the Cygwin distribution). It probably also is on project Vincent in the gnu locker.
See the description of Using CVS and Unix Groups to Share Files in your Team for some pointers on CVS.

Object-Oriented Analysis and Design

Craig Larman's Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, Second Edition, (Prentice Hall PTR, Upper Saddle River, NJ, 2001, ISBN 0130925691).
Cunningham and Cunningham (C2) consultants
DesignFest from OOPSLA
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides's Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley, Boston, MA, 1995, ISBN 0201633612).
Extreme Programming and the Extreme Programming FAQ.
Interactive Software Engineering, which makes tools for Eiffel and the Business Object Notation (BON).
Martin Fowler's web site.
Methods Engineering Encyclopedia
Object Mentor.
Object Architects.
Object-Oriented Bibliography from Softmoore Consulting.
Object Management Group (OMG).
UML.org
Rational's UML Resource Center.
Software Engineering Institute
Software Methods & Tools (lots of links).
Summary of Larman's book (2e) from Objects by Design.

Object-Orientation (in general) and OO Languages

Comp.object's Frequently Asked Questions (FAQ)
C++ FAQ Lite by Marshall Cline
Eiffel
aspect-oriented programming

Java Resources

Running Java on the department machinses.
Cafe au Lait
Connecting database systems and Java code, notes from Com S 363.
A talk on floating point numbers in Java by Joseph Darcy.
Eclipse IDE and the Eclipse FAQ.
New to Java Programming
Java Boutique, which has lots of examples.
Java Code Snippets.
Apache Ant, a build tool for Java written in Java
JavaFile.com, more examples.
JARS, the Java Applet Rating Service.
Java Glossary
Java's syntax from the Java Language Specification Second Edition (Addison-Wesley, 2000).
Java Programming Resources
JUnit.org home of Java unit testing tools. You can also find javadocs for JUnit there.
JSwat Graphical Java Debugger
Sun's Java page and its "new to Java" section. See also the Java Tutorial.
A simple .emacs file for Java coding. Uncomment the last line of this file to use the emacs simulation of vi, viper mode, which allows you to use the vi keystrokes and get all the power of emacs.
Andrew Miner's .vimrc file, for die-hard vi users

Formal Methods Resources

The World-Wide Web Virtual Library: Formal Methods.
The Risks Digest: Forum On Risks To The Public In Computers And Related Systems and Illustrative Risks to the Public in the Use of Computer Systems and Related Technology.
The Java modeling language (JML) home page.
Information about the Eclipse plugin for JML; see also the the download page and the GForge site for JMLEclipse.
Alloy Constraint Analyzer, an object modeling notation and lightweight formal method.
OCL page, of links concerning the Object Constraint Language.
The Larch FAQ.
IFAD's site for VDM-SL and related tools.
Gary Leavens's favorite formal method links.

[an error occurred while processing this directive]

Reserve List

To check out one of these (for a few hours or days), go to the Parks library reserve desk. Take along the call number and title, or look up Com S 362 there.

Reserved Texts

Required

Author	Larman, Craig
Title	Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Publisher	Upper Saddle River, NJ: Prentice Hall PTR, c2001.
Call Number	QA76.9 O35 L37 2001

Author	Arnold, Ken, James Gosling, and David Holmes
Title	The Java programming Langauge (3rd ed.)
Publisher	Upper Saddle River, NJ: Addison-Wesley, c2000.
Call Number	QA76.73 J38 A76 2000

Com S 362 - Object-Oriented Analysis and Design Fall 2004