UML: |
http://www.omg.org/uml (Specification) | |
OCL: |
http://www.klasse.nl/ocl/ (Specification) | |
Eclipse: |
http://www.eclipse.org/ | |
Omondo: |
http://omondo.com/ (Plugin for Eclipse to create UML meta-models, already includes EMF and GEF) | |
EMF: |
http://www.eclipse.org/emf/ (Eclipse Modeling Framework, enables command based editing of a model from XMI) | |
GEF: |
http://www.eclipse.org/gef/ (Graphical Editing Framework, creating a visual editor as plugin for Eclipse based on a meta model ) | |
Constraint Diagrams: |
http://www.cs.kent.ac.uk/projects/rwd/ (Project at the University of Kent: Software tools for reasoning, especially for Constraint Diagrams) | |
ArgoUML: |
http://argouml.tigris.org/ (Editor for UML) |