\REF{[1]} Brooks F P Jr. No silver bullet: Essence and accidents of software engineering. {\it Computer}, April 1987, 20(4): 10-19. \REF{[2]} Zhang Xiaoxiang. Encyclopedia of Computer Science and Technology. Second edition, Beijing: Tsinghua University Press, 2005. (in Chinese) \REF{[3]} Hong Mei. A component model for perspective management of enterprise software reuse. \it Annals of Software Engineering \rm USA, 11(1): 219--236. \REF{[4]} Papazoglou M P, Georgakopoulos D (eds.). Special issue on service oriented computing. \it Communications of ACM, \rm Oct. 2003, 46(10): 24--60. \REF{[5]} Fuggetta A. Software process: A roadmap. In {\it Proc. the Conf. Future of Software Engineering}, Limerick, Ireland: ACM Press, 2000, pp.25--34. \REF{[6]} Zave P. Classification of research efforts in requirements engineering. \it ACM Computing Surveys, \rm 1997, 29(4): 315--321. \REF{[7]} Bashar Nuseibeh, Steve Easterbrook. Requirement engineering: A roadmap. In {\it Proc. the Conf. Future of Software Engineering}, Limerick, Ireland: ACM Press, 2000, pp.35--46. \REF{[8]} Frankel D S. Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley, 2003. \REF{[9]} Meservy T O, Fenstermacher K D. Transforming software development: An MDA roadmap. \it Computer, \rm 2005, 38(9): 52--58. \REF{[10]} Kiczales G \it et al. \rm Aspect-oriented programming. In {\it Proc. 11th European Conf. Object-Oriented Programming (ECOOP)}, Springer-Verlag, Finland, 1997, pp.220--243. \REF{[11]} Wooldridge M. Agent-oriented software engineering. In \it IEE Proc. Software Engineering, \rm 1997, 144(1): 26--37. \REF{[12]} Diomidis Spinellis, Clemens Szyperski. How is open source affecting software development? {\it IEEE Software}, Jan/Feb 2004, 21(1): 28--33. \REF{[13]} Foster I, Kesselman C, Tuecke S. The anatomy of the grid: Enabling scalable virtual organizations. \it Int. Journal of High Performance Computing Applications, \rm 2001, 15(3): 200--222. \REF{[14]} Satyanarayanan M. Pervasive computing: Vision and challenges. \it IEEE Personal Communications, \rm 2001, 8(4): 10--17. \REF{[15]} Xu J, Lu J. Software Languages and Their Implementation. Scientific Publishing House, 2000. (in Chinese) \REF{[16]} Tang C-S. Toward a unified logic basis for programming languages. \it IFIP Congress, \rm North Holland, Amsterdam, 1983, pp.425--429. \REF{[17]} Dong Y, Li K, Chen H \it et al. \rm Design and implementation of the formal specification acquisition system SAQ. In \it Conf. Software: Theory and Practice, IFIP 16th World Computer Congress 2000, \rm Beijing, 2000, pp.201--211. \REF{[18]} Jinling Wang, Beihong Jin, Jing Li. An ontology-based publish/subscribe system. In \it 5th ACM/IFIP/USENIX Int. Middleware Conference (Middleware 2004), \rm Toronto, Canada, Oct. 2004, Springer, LNCS 3231, pp.232--253. \REF{[19]} Li Juan, Li Ming-Shu, Wu Zhan-Chun, Wang Qing. A SPEM-based software process metamodel for CMM. \it Journal of Software, \rm 2005, 16(8): 1366--1377. \REF{[20]} Lin H. Complete inference systems for weak bisimulation equivalences in the pi-calculus. \it Information and Computation, \rm 2003, 180(1): 1--29. \REF{[21]} Liu Chao, Zhang Mao-lin, Yan Hai-hua \it et al. \rm Teamwork collaboration model of software integration testing and its characteristics. \it Journal of Software, \rm 2000, 11(6): 841--847. \REF{[22]} Ge Sheng, Hu Chun-ming, Du Zong-xia \it et al. \rm WebSASE: A web service-based application supporting environment. In \it Proc. the 5th Northeast Asia Symposium, \rm Seal, Korea, Aug 6, 2002, pp.67--76. \REF{[23]} Ruqian Lu, Zhi Jin. Formal ontology: Foundation of domain knowledge sharing and reusing. \it Journal of Computer Science and Technology, \rm September 2002, 17(5): pp.535--548. \REF{[24]} Lu Jian. Developing parallel object-oriented programs in the framework of VDM. \it Annals of Software Engineering, \rm 1996, 2(9): 199--211. \REF{[25]} Lu Jian, Li Yingjun, Ma Xiaoxing \it et al. \rm A hierarchical framework for parallel seismic applications. \it Communications of ACM, \rm 2000, 43(10): 55--59. \REF{[26]} Li Xuandong, Zhao Jianhua, Pei Yu \it et al. \rm Positive loop-closed automata: A decidable class of hybrid systems. \it Journal of Logic and Algebraic Programming, \rm 2002, 52-53: 79--108. \REF{[27]} Wang H M, Wang Y F, Tang Y B. StarBus+: Distributed object middleware practice for Internet computing. \it Journal of Computer Science and Technology, \rm 2005, 20(4): 542--551. \REF{[28]} Ji Wang, Wei Dong, Zhi-Chang Qi. Slicing hierarchical automata for model checking UML statecharts. \it Formal Methods and Software Engineering. Lecture Notes in Computer Science 2495, \rm Springer, 2002. \REF{[29]} He Jifeng, Tony Hoare. Unifying Theories for Parallel Programming. {\it Lecture Notes in Computer Sciences 1300}, Springer, 1997, pp.15--30. \REF{[30]} Yang F \it et al. \rm Kernel Software Engineering Environment BETA-85. \it Science in China \rm (A), 1988, 18(5): 530--538. \REF{[31]} Yang F, Shao W, Mei H. The design and implementation of object-oriented CASE environment Jade Bird 2(JB2). \it Science in China \rm (A), 1995, 25(5): 533--542. (in Chinese) \REF{[32]} Yang F, Mei H. Research on technology for industrialization production of software---Practice of JB (Jade Bird) project. In \it Symp. Sino-American Engineering Technology, \rm Beijing, Oct. 1997, pp.190--200. \REF{[33]} Mei H, Chang J C, Yang F Q. Software component composition based on ADL and middleware. \it Science in China \rm (Series F), 2001, 44(2): 136--151. \REF{[34]} Mei H, Chen Feng, Wang Qianxiang, Feng Yaodong. ABC/ADL: An ADL supporting component composition. In \it Proc. 4th Int. Conf. Formal Engineering Methods (ICFEM2002), \rm Shanghai, China, 2002, pp.38--47. \REF{[35]} Mei H, Zhang W, Gu F. A feature oriented approach to modeling and reusing requirements of software product lines. In \it Proc. COMPSAC, \rm Dallas, USA, 2003, pp.250--256. \REF{[36]} Zhang W, Mei H, Zhao H Y. A feature-oriented approach to modeling requirements dependencies. In \it Proc. 13th IEEE Int. Conf. Requirements Engineering (ICRE), \rm La Sorbonne, France, August 29--September 2, 2005, pp.273--282. \REF{[37]} Zhu Y, Huang G, Mei M. Quality attribute scenario based architectural modeling for self-adaptation supported by architecture-based reflective middleware. In \it Asia Pacific Software Engineering Conference (APSEC 2004), \rm Busan, Korea, Nov. 30--Dec. 3, 2004, pp.2--9. \REF{[38]} Feng Y, Huang G, Zhu Y L, Mei H. Exception handling in component composition with the support of middleware. In \it Fifth Int. Workshop on Software Engineering and Middleware (SEM 2005), \rm co-located with ESEC-FSE'05, Lisbon, Portugal, ACM Press, September 5--6, 2005, pp.90--97. \REF{[39]} Huang G, Liu T C, Mei H \it et al. \rm Towards autonomic computing middleware via reflection. In \it Proc. 28th Annual Int. Computer Software and Applications Conference (COMPSAC), \rm Hong Kong, China, Sept. 28--30, 2004, pp.122--127. \REF{[40]} Huang G, Mei H, Yang F Q. Runtime recovery and manipulation of software architecture of component-based systems. \it International Journal of Automated Software Engineering, \rm 2006, 13(2): 257--281. \REF{[41]} Zhang W, Mei H, Zhao H Y, Yang J. Transformation from CIM to PIM: Feature-oriented component-based approach. In \it Proc. 8th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS 2005), \rm Montego Bay, Jamaica, Oct. 2--7, 2005, LNCS 3713, 2005, pp.248--263. \REF{[42]} Shen J, Sun X, Huang G \it et al. \rm Towards a unified formal model for supporting mechanisms of dynamic component update. \it The Fifth Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE'05), \rm Lisbon, Portugal, September 5--9, 2005, pp.80--89. \REF{[43]} Liu T, Huang G, Fan G, Mei H. The coordinated recovery of data service and transaction service in J2EE. In \it Proc. 29th Annual Int. Computer Software and Applications Conference (COMPSAC05), \rm Edinburgh, Scotland, July 2005, pp.485--490.
|