共 50 条
- [1] Formal specification and analysis of functional properties of graph rewriting-based model transformation [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2013, 23 (05): : 405 - 435
- [2] Visual Debugging Support for Graph Rewriting-based Model Transformations [J]. 2013 IEEE EUROCON, 2013, : 482 - 487
- [6] Towards a Language for Graph-Based Model Transformation Design Patterns [J]. THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2014, 2014, 8568 : 91 - 105
- [8] Rewriting-based optimization for XQuery transformational queries [J]. 9th International Database Engineering & Application Symposium, Proceedings, 2005, : 163 - 174
- [9] Towards Rewriting-based Formal Model for Component-based Systems Verification [J]. 2016 INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE), 2016, : 46 - 53
- [10] Request rewriting-based web service discovery [J]. SEMANTIC WEB - ISWC 2003, 2003, 2870 : 242 - 257