UML

Table of Contents

Activity Diagrams
State Machines
- Extended Abstract
- Full Paper
- Automated Verification
  - Announcement
  - Description
Extension: Generic Behaviors

Jim Huggins / huggins@acm.org

URL: http://www.eecs.umich.edu/ealgebras/subjects/uml.html (page only)
last update: Thursday, 03-Apr-2008 13:05:07 EDT