共 50 条
- [22] LAMBADA: Backward Chaining for Automated Reasoning in Natural Language PROCEEDINGS OF THE 61ST ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, ACL 2023, VOL 1, 2023, : 6547 - 6568
- [24] Automated model transformations using the C.C language ADVANCES IN ENTERPRISE ENGINEERING I, PROCEEDINGS, 2008, 10 : 137 - +
- [25] Automated Feature Model-based Generation of Refinement Transformations 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 141 - +
- [26] Demystifying Model Transformations: An Approach Based on Automated Rule Inference OOPSLA 2009, CONFERENCE PROCEEDINGS, 2009, : 341 - 360
- [27] Automated Middleware QoS Configuration Techniques using Model Transformations 2007 11TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, 2007, : 20 - 27
- [28] Automated Formal Verification of Model Transformations Using the Invariants Mechanism PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, BIR 2019, 2019, 365 : 59 - 73
- [30] Providing support for model composition in metamodels 11TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2007, : 253 - +