1002 search results - page 51 / 201 » Test-Driven Development of Model Transformations |
SIGGRAPH
2010
ACM
14 years 19 days ago
2010
ACM
Achieving interactive performance in cloth animation has significant implications in computer games and other interactive graphics applications. Although much progress has been m...
ECEASST
2008
13 years 9 months ago
2008
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
TCAD
2008
13 years 8 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
JUCS
2010
13 years 3 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...