共 50 条
- [1] CompSize: A Model-Based and Automated Approach to Size Estimation of Embedded Software Components IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (09): : 2183 - 2192
- [3] Automated Unit Testing in Model-based Embedded Software Development ICSOFT: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2017, : 427 - 434
- [5] An Automated Software Verification Tool for Model-based Development of Embedded Systems with Simulink® 2009 XXII INTERNATIONAL SYMPOSIUM ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES, 2009, : 45 - 50
- [6] Model-based monitoring of software components ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 1025 - 1026
- [7] Components in Model-Based Software Development 2013 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2013,
- [9] Model-Based Software Regression Testing for Software Components INFORMATION SYSTEMS, TECHNOLOGY AND MANAGEMENT-THIRD INTERNATIONAL CONFERENCE, ICISTM 2009, 2009, 31 : 138 - +
- [10] A Model-based Testing for AADL Model of Embedded Software 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 185 - +