共 50 条
- [41] Local Search-Based Refactoring as Graph Transformation [J]. 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 43 - 46
- [43] Operon refactoring and construction assistant (ORCA): An integrated workflow to refactoring biosynthetic gene clusters [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2018, 255
- [44] Specifying interactions in integrated manufacturing systems [J]. GLOBAL ENGINEERING, MANUFACTURING AND ENTERPRISE NETWORKS, 2001, 63 : 103 - 110
- [45] Visual Object Detection by Specifying the Scale and Rotation Transformations [J]. NEURAL INFORMATION PROCESSING: MODELS AND APPLICATIONS, PT II, 2010, 6444 : 616 - +
- [46] Bidirectionalizing Graph Transformations [J]. ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 205 - 216
- [47] Confluence for graph transformations [J]. THEORETICAL COMPUTER SCIENCE, 1996, 154 (02) : 329 - 348
- [49] Specifying synchronization in distributed shared memory programs [J]. 2002 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS OF THE WORKSHOPS, 2002, : 375 - 382
- [50] A language for specifying the composition of reliable distributed applications [J]. 18TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1998, : 534 - 543