共 50 条
- [1] Automated Chaining of Model Transformations with Incompatible Metamodels MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2014, 2014, 8767 : 602 - 618
- [2] Digital Hardware Design Based on Metamodels and Model Transformations VLSI-SOC: SYSTEM-ON-CHIP IN THE NANOSCALE ERA - DESIGN, VERIFICATION AND RELIABILITY, 2017, 508 : 83 - 107
- [3] Precise Model-Driven Transformations Based on Graphs and Metamodels SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 307 - 316
- [4] A framework for executing cross-model transformations based on pluggable metamodels ICSOFT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL PL/DPS/KE/MUSE, 2007, : 315 - 325
- [5] Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 279 - 286
- [6] Metamodels and MDA transformations for embedded systems Advances in Design and Specification Languages for Socs: SELECTED CONTRIBUTIONS FROM FDL'04, 2005, : 89 - 105
- [8] Automated Verification of Model Transformations in the Automotive Industry MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 690 - 706
- [9] A Lightweight Approach for the Automated Classification and Clustering of Metamodels 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 478 - 483
- [10] Incompatible transformations of principal ideal rings DISCRETE MATHEMATICS AND APPLICATIONS, 2007, 17 (02): : 171 - 180