共 50 条
- [31] Using Petri Nets to Verify Design Model: A Survey PROCEEDINGS 2017 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), 2017, : 1010 - 1015
- [32] Using Model Transformation Techniques for the Superimposition of Architectural Styles SOFTWARE ARCHITECTURE, 2011, 6903 : 379 - +
- [33] Formalizing Data to Agent Model Mapping Using MOF: Application to a Model of Residential Mobility in Marrakesh AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGY AND APPLICATIONS, KES-AMSTA 2016, 2016, 58 : 107 - 117
- [34] Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model ENASE: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2017, : 355 - 366
- [35] UML Class Model Generation of Images Using Neural Networks 2022 29TH INTERNATIONAL CONFERENCE ON SYSTEMS, SIGNALS AND IMAGE PROCESSING (IWSSIP), 2022,
- [36] Using Alloy to model-check visual design notations Sixth Mexican International Conference on Computer Science, Proceedings, 2005, : 121 - 128
- [37] A Model-Driven Approach for Using Templates in OWL Ontologies KNOWLEDGE ENGINEERING AND MANAGEMENT BY THE MASSES, EKAW 2010, 2010, 6317 : 350 - 359
- [39] Effects of Using Examples on Structural Model Comprehension: A Controlled Experiment 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, : 955 - 966