3 search results - page 1 / 1 » Incremental Evaluation of OCL Invariants in the Essential MO... |
MODELLIERUNG
2008
13 years 6 months ago
2008
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
ECEASST
2010
12 years 11 months ago
2010
The Eclipse Modeling Framework (EMF) and its meta-meta model Ecore support uni-directional and bi-directional references. It is quite common that references are defined uni-directi...
CP
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...