2186 search results - page 13 / 438 » Model Transformation Technologies in the Context of Modellin... |
ICEIS
2007
IEEE
14 years 1 months ago
2007
IEEE
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded software design for real time reactive system
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
CSMR
2008
IEEE
13 years 9 months ago
2008
IEEE
Propagating incremental changes and maintaining traceability are challenges for interactive model transformations, i.e. ones that combine automation with user decisions. After evo...