共 6 条
- [1] BROWN AW, 1996, ENG COMPONENT BASED, P7
- [2] Crnkovic I., 2005, Journal of Computing and Information Technology - CIT, V13, P321, DOI 10.2498/cit.2005.04.10
- [3] de Alfaro L., 2001, LECT NOTES COMPUTER, V2211, P148
- [4] GARLAN D, 1994, CMUSEI94TR21
- [5] Composition for component-based modeling [J]. SCIENCE OF COMPUTER PROGRAMMING, 2005, 55 (1-3) : 161 - 183
- [6] Using formal methods to reason about architectural standards [J]. PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 503 - 513