共 50 条
- [22] Improving Model-Based Testing in Automotive Software Engineering [J]. 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - SOFTWARE ENGINEERING IN PRACTICE TRACK (ICSE-SEIP 2018), 2018, : 172 - 180
- [23] A model-based approach for software engineering of interaction techniques [J]. IHM'10: 22EME CONFERENCE FRANCOPHONE SUR L'INTERACTION HOMME-MACHINE, 2010, : 81 - 88
- [24] A formal approach to AADL model-based software engineering [J]. International Journal on Software Tools for Technology Transfer, 2020, 22 : 219 - 247
- [26] Role model of model-based systems engineering application [J]. 19TH DRIVE TRAIN TECHNOLOGY CONFERENCE (ATK 2021), 2021, 1097
- [27] Java']Java2CSP-A Model-Based Diagnosis Tool Not Only for Software Debugging [J]. INTELLIGENT DECISION TECHNOLOGIES, KES-IDT 2021, 2021, 238 : 519 - 529
- [28] Toward Model-Based Requirement Engineering Tool Support [J]. 2017 IEEE AEROSPACE CONFERENCE, 2017,
- [29] Parallelized Hitting Set Computation for Model-Based Diagnosis [J]. PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1503 - 1510
- [30] Using Model-Based Diagnosis to Improve Software Testing [J]. PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 1135 - 1141