Home Documents Tools Documentation Downloads Credits Feedback People Links Computing Laboratory

Object Constraint Language Library Links Kent Modeling Framework www.cs.kent.ac.uk/projects/kmf This is a UK government (EPSRC) funded project, in which we are generating code from metamodels. Reasoning with Diagrams www.cs.kent.ac.uk/projects/rwd This is a UK government (EPSRC) funded project, in which we are working with the visual modelling group at the University of Brighton, www.it.brighton.ac.uk/research/vmg/default.html, to build diagrammatic reasoning tools with the help of KMF. Eclipse Modeling Framework www.eclipse.org/emf This is a project associated with the Eclipse Tools platform, which generates code from metamodels.