Research
project forMAlNET:
|
http://tfs.cs.tu-berlin.de/formalnet/ | |
Eclipse:
|
http://www.eclipse.org/ | |
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) | |
AGG - Attributed Graph Grammar
Simulation Tool:
|
http://www.tfs.tu-berlin.de/agg (By the TFS group) |