共 50 条
- [1] Formal specification and analysis of functional properties of graph rewriting-based model transformation SOFTWARE TESTING VERIFICATION & RELIABILITY, 2013, 23 (05): : 405 - 435
- [2] Visual Debugging Support for Graph Rewriting-based Model Transformations 2013 IEEE EUROCON, 2013, : 482 - 487
- [6] Towards a Language for Graph-Based Model Transformation Design Patterns THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2014, 2014, 8568 : 91 - 105
- [8] Rewriting-based optimization for XQuery transformational queries 9th International Database Engineering & Application Symposium, Proceedings, 2005, : 163 - 174
- [9] Towards Rewriting-based Formal Model for Component-based Systems Verification 2016 INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE), 2016, : 46 - 53
- [10] Automatic combinability of rewriting-based satisfiability procedures LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 542 - +