共 50 条
- [1] A Taxonomy of Model Transformation [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 152 : 125 - 142
- [2] Applying the graph minor theorem to the verification of graph transformation systems [J]. COMPUTER AIDED VERIFICATION, 2008, 5123 : 214 - +
- [3] Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization [J]. GRAPH TRANSFORMATION, 2016, 9761 : 236 - 251
- [5] Model Transformation Using Graph Transactions [J]. FORMAL FOUNDATIONS OF REUSE AND DOMAIN ENGINEERING, PROCEEDINGS, 2009, 5791 : 95 - 105
- [6] MODEL TRANSFORMATIONS BY GRAPH TRANSFORMATION ARE FUNCTORS [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2007, (93): : 134 - 142
- [7] Model Refactorings for and with Graph Transformation Rules [J]. SOFTWARE TECHNOLOGIES, ICSOFT 2014, 2015, 555 : 331 - 348
- [8] Model management through graph transformation [J]. 2004 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN CENTRIC COMPUTING: PROCEEDINGS, 2004, : 75 - 82
- [9] A Graph Transformation-Based Approach for applying MDA to SOA [J]. FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 446 - +