共 50 条
- [41] Formal verification of component-based designs Design Automation for Embedded Systems, 2007, 11 : 49 - 90
- [42] Applying pattern techniques to leverage component-based development PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER SCIENCE AND TECHNOLOGY, 2006, : 298 - +
- [43] Reverse engineering software-models of component-based systems CSMR 2008: 12TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: DEVELOPING EVOLVABLE SYSTEMS, 2008, : 93 - 102
- [44] A component-based architecture for modelling and simulation of adaptive complex systems 21ST EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2007: SIMULATIONS IN UNITED EUROPE, 2007, : 156 - +
- [45] Applying Step Coverability Trees to Communicating Component-Based Systems FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 178 - +
- [46] Utilizing Intervals in Component-based Design of Cyber Physical Systems 2013 IEEE 16TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2013), 2013, : 635 - 642
- [47] Database Proxies for Component-Based Real-Time Systems 22ND EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2010), 2010, : 79 - 89
- [48] Component-based application development on architecture of a model, UI and components SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 349 - 353