共 50 条
- [2] A component-based approach to verification and validation of formal software models ARCHITECTING DEPENDABLE SYSTEMS IV, 2007, 4615 : 89 - +
- [3] An approach for Component-based Software Composition CERMA 2008: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE, PROCEEDINGS, 2008, : 195 - +
- [5] Simulation and validation of component-based automotive control software SIMULATION IN INDUSTRY'2000, 2000, : 417 - 421
- [6] Protocol verification in a software component-based approach FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 136 - 145
- [8] Scalable system software: a component-based approach SciDAC 2005: Scientific Discovery Through Advanced Computing, 2005, 16 : 546 - 550
- [10] A component-based approach to online software evolution JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2006, 18 (03): : 181 - 205