5525 search results - page 130 / 1105 » Verification of Model Transformations |
130
click to vote
ICMT
2010
Springer
15 years 6 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
119
Voted
VL
2008
IEEE
15 years 9 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
112
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
142
click to vote
ENTCS
2006
15 years 3 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
109
click to vote
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
The variety of design artefacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper pro...