共 50 条
- [21] A Study on UML Model Convergence Using Model Transformation Technique for Heterogeneous Smartphone Application SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 292 - 297
- [22] Using Software Product Lines to Manage Model Families in Model-Driven Engineering APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1006 - 1011
- [23] Model Reusability and Multidirectional Transformation using Unified Metamodel PROCEEDINGS OF 2018 IEEE DISTRIBUTED COMPUTING, VLSI, ELECTRICAL CIRCUITS AND ROBOTICS (DISCOVER), 2018, : 88 - 92
- [24] Verification of Model Transformations Using Isabelle/HOL and Scala Information Systems Frontiers, 2019, 21 : 45 - 65
- [25] Using UML in control and automation: A model driven approach 2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS, 2004, : 587 - 593
- [27] Testing models and model transformations using classifying terms Software & Systems Modeling, 2018, 17 : 885 - 912
- [29] Using Slicing to Improve the Performance of Model Invariant Checking JOURNAL OF OBJECT TECHNOLOGY, 2015, 14 (04): : 1 - 28
- [30] Using Petri Nets to Verify Design Model: A Survey PROCEEDINGS 2017 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), 2017, : 1010 - 1015