CS 121 Reference Links

Recent (most recent first)
- TAU (This Ain't Unix)
- 'Make' Tutorial (Titus Winters)
- Visitor Pattern Code (C++ )
- Observer Pattern Code (Java)
- JAMES Project
- OWL Project
- Introductory notes for libstdc++ (cygnus.com)
- type identification example
- virtual method & abstract class examples (C++)
- UML -> Insurance example (UML)
- UML -> C++ code examples
- UML Reference Card
- Use Cases Analysis
- Examples of Software Requirements Specifications
STL
- Local examples
- ObjectSpace STL Toolkit Examples
- RPI Online Reference
- STL Programmer's Guide (SGI)
- Overview (with browser frame index)
- Technical University Vienna Tutorial (.ps file) (Solutions)
- STL examples from David Musser and Atul Saini, STL Tutorial and Reference Guide
- STL Tutorial (Jak Kirman)
- STL Resource List
General
- Software Technology Descriptions
- CASE tools glossary (acronyms)
Case Studies
- PICARD
- World-Wide News
General
- Shari Pfleeger links
- Bernd Bruegge
- Software Technology Descriptions
- UNIX Reference Desk
Project Management
- Software Project Tracking (SPAWAR)
- Programme Management Model for Y2000 Projects
CRC cards
- OO Domain Analysis
- CRC Cards for Bank Accounts
- Using CRC Cards
- CRC cards for GEF (Graph Editing Framework)
- Identifying classes, etc.
- TRED: Tool for Requirements Elicitation and Documentation
- A Laboratory for Teaching Object-Oriented Thinking
- Introductoin to CRC Cards
UML
- Small UML Examples
- Larger UML Examples
- UML Quick references:
- Cetus Links
- Objects by design
- Journal of Conceptual Modeling
- Tools
- UML Zone
- UML Cafe
- Techniques for Object Oriented Analysis and Design (Martin Fowler)
- Pooley and Stevens book
- How the UML Models Fit Together
- UML bibliography
- UML FAQ (Rational software)
- OMG: Object Management Group
Statecharts
- Simple State Diagrams
- Nested State Diagrams
- Car Rental Company
- Radio-Tape Player
- UML Statecharts, by Bruce Powel Douglass
- Design of a cryptographic garage door opener
- Dynamic Simulation through the WWW
- A Pattern Language of Statecharts
- State machine semantics
Activity Diagrams
- Activity Diagrams and Operation Architecture
Object-Orientation
- Adaptive Object-Oriented Software
- Demeter home page
- Cetus object-oriented links
- Links on Objects and Components
- Object Orientation
- Taligent Documentation
- The Essence of Object-Oriented Programming, by Bruce E. Wampler
- Constructing Object-Oriented Software in Interactive Graphical Programming Environments: An Anthology
- DemeterJava examples
- Object-Oriented Design and Programming
- Object-Orientation FAQ
- Object FAQ
- Learn Object-Oriented Design (examples)
Data Dictionaries
- CRIS Data Dictionary
- NCCS State Almanac Data Dictionary
Design Patterns
- From Patterns to Frameworks
- Designers Assistant Interface (Home Page)
- Patterns Home Page
- Excerpts from Design Patterns
- SwTech.com Design Patterns Links
- Patterns IAP '97
- Oregon Pattern Index
- Patterns in Java AWT
- Patterns FAQ
- A few Design Patterns
- Design Patterns in Dynamic Programming [Languages]
- Patterns and Software: Essential Concepts and Terminlogy
- Process Patterns Resource Page
- Patterns books
- Patterns for Java and Distributed Computing
- Thinking in Java
- Visitor Beans
- GoF Template (html)
AntiPatterns
- Anti-Patterns tutorial
- Links
- Branching Patterns
- Design Pitfalls as Negative Patterns
Coding
- C++ Annotations
- Callbacks in C++
- STL tutorial
- STL Resource List
- C++ Draft Standard
- C++ Standard Library examples
Testing
- Testing FAQ
- L.A.W. (Learn Ada on the Web, has good info on testing)
- Testing Coverage Analysis
- +1 Software Engineering
- CCCC
- GCT
- Structured Testing
- Cyclomatic Complexity (SEI)
- Software Metrics
- Difficulties in using cyclomatic complexity
- Marick's Corner (testing links)
- TestWorks
Cem Kaner's page (legal aspects)
Version Control
- RCS (Revision Control System)
- CVS
Automated Code Documentation
- javadoc
- Doc++
- Doxygen
- grdoc
- Object Outline
- Perceps
- ROOT
Automated Requirements Documentation
- DOORS
- RECORD: REquirements COllection Reuse and Documentation
Formal Methods
- Models of Software Systems
- Formal Methods around the World
- Formal Methods Virtual Library
- Formal Methods Education Resources
- Other links
- ACL2
- CafeOBJ
- Cleanroom Software Engineering (IBM)
- Cleanroom (STARS)
  - Tutorial
- CMU Model Checking
- Proof-Carrying Code
- Eiffel
- EVES
- GDPA (Graphical Design Process Assistant
- HOL
- Isabelle
- JPL
- Larch
  - The Larch Prover
  - Larch/C++ Reference Manual
- LEGO Proof Assistant
- PVS
  - Imperative Program Verification in PVS
- Proving imperative programs
- Reasoned Programming
- Refinement Calculus
- Questions and Answers about Ten Formal Methods
- SCR (Software Cost Reduction)
- TAM '97
- TimeRover
- VDM
- Z notation
  - Zeus
- Links to Automated Theorem Provers
Commercial
- objectmentor.com
- PC Software Links
- Unix/NT Interoperability (includes software tools)
- Visual UML
Miscellaneous
- Function Point FAQ
- Object Points
- Software analysis and systems design course
- CS552
- Software Cost Estimation
- Cocomo II
- Article on Alexander's patterns at OOPSLA
- The Cathedral and the Bazaar (case study)
- Software Development Online (magazine)
- GNU Coding Standards
- SS Index (Georgia Tech)
- Stanford EE/CS Mother Site
- Software Engineering Readings
- The Unix Philosophy
- Basic Management Skills
- Postmortem on Ahseron's Call
- Organizations
  - IEEE TCSE (Technical Council on Software Engineering)
  - SEI (Software Engineering Institute)