Sciweavers

3921 search results - page 73 / 785
» Transforming Models with ATL
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...
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