Sciweavers

5525 search results - page 170 / 1105
» Verification of Model Transformations
Sort
View
CACM
2010
79views more  CACM 2010»
15 years 3 months ago
Barriers to systematic model transformation testing
Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robe...
118
Voted
ECEASST
2006
56views more  ECEASST 2006»
15 years 3 months ago
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
Claudia Ermel, Hartmut Ehrig, Karsten Ehrig
IBMSJ
2006
43views more  IBMSJ 2006»
15 years 3 months ago
Feature-based survey of model transformation approaches
Krzysztof Czarnecki, Simon Helsen