共 50 条
- [31] A Model-Based Approach to Testing Software for Critical Behavior and Properties TESTING SOFTWARE AND SYSTEMS, 2010, 6435 : 15 - 15
- [32] A novel model-based testing approach for software product lines SOFTWARE AND SYSTEMS MODELING, 2017, 16 (04): : 1223 - 1251
- [34] Model-based Approach for Implementation of Software Configuration Management Process MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2015, : 177 - 184
- [35] A novel model-based testing approach for software product lines Software & Systems Modeling, 2017, 16 : 1223 - 1251
- [36] MBTA: A Model-Based Threat Analysis Approach for Software Architectures COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023, 2023, 14181 : 121 - 134
- [37] Model-Based Firmware Generation for Acquisition Systems Using Heterogeneous Hardware AUTOMATION, 2022, 3 (03): : 471 - 485
- [38] Algorithmic and software development advances for next-generation heterogeneous platforms CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2022, 34 (14):
- [39] Model-based generation of interlocking controller software from control tables MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2008, 5095 : 349 - +
- [40] An empirical evaluation of the i* framework in a model-based software generation environment ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2006, 4001 : 513 - 527