{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T05:15:28Z","timestamp":1736658928302,"version":"3.32.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2006,9,1]],"date-time":"2006-09-01T00:00:00Z","timestamp":1157068800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Comput Sci Technol"],"published-print":{"date-parts":[[2006,9]]},"DOI":"10.1007\/s11390-006-0682-8","type":"journal-article","created":{"date-parts":[[2006,10,15]],"date-time":"2006-10-15T10:38:59Z","timestamp":1160908739000},"page":"682-696","source":"Crossref","is-referenced-by-count":1,"title":["Development of Software Engineering: A Research Perspective"],"prefix":"10.1007","volume":"21","author":[{"given":"Hong","family":"Mei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong-Gang","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fu-Qing","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"682_CR1","doi-asserted-by":"crossref","unstructured":"Brooks F P Jr. No silver bullet: Essence and accidents of software engineering. Computer, April 1987, 20(4): 10-19.","DOI":"10.1109\/MC.1987.1663532"},{"key":"682_CR2","unstructured":"Zhang Xiaoxiang. Encyclopedia of Computer Science and Technology. Second edition, Beijing: Tsinghua University Press, 2005. (in Chinese)"},{"key":"682_CR3","doi-asserted-by":"crossref","unstructured":"Hong Mei. A component model for perspective management of enterprise software reuse. Annals of Software Engineering USA, 11(1): 219\u2013236.","DOI":"10.1023\/A:1012551421510"},{"key":"682_CR4","doi-asserted-by":"crossref","unstructured":"Papazoglou M P, Georgakopoulos D (eds.). Special issue on service oriented computing. Communications of ACM, Oct. 2003, 46(10): 24\u201360.","DOI":"10.1145\/944217.944233"},{"key":"682_CR5","doi-asserted-by":"crossref","unstructured":"Fuggetta A. Software process: A roadmap. In Proc. the Conf. Future of Software Engineering, Limerick, Ireland: ACM Press, 2000, pp. 25\u201334.","DOI":"10.1145\/336512.336521"},{"issue":"4","key":"682_CR6","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1145\/267580.267581","volume":"29","author":"P Zave","year":"1997","unstructured":"Zave P. Classification of research efforts in requirements engineering. ACM Computing Surveys, 1997, 29(4): 315\u2013321.","journal-title":"ACM Computing Surveys"},{"key":"682_CR7","doi-asserted-by":"crossref","unstructured":"Bashar Nuseibeh, Steve Easterbrook. Requirement engineering: A roadmap. In Proc. the Conf. Future of Software Engineering, Limerick, Ireland: ACM Press, 2000, pp. 35\u201346.","DOI":"10.1145\/336512.336523"},{"key":"682_CR8","unstructured":"Frankel D S. Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley, 2003."},{"issue":"9","key":"682_CR9","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MC.2005.316","volume":"38","author":"T O Meservy","year":"2005","unstructured":"Meservy T O, Fenstermacher K D. Transforming software development: An MDA roadmap. Computer, 2005, 38(9): 52\u201358.","journal-title":"Computer"},{"key":"682_CR10","doi-asserted-by":"crossref","unstructured":"Kiczales G et al. Aspect-oriented programming. In Proc. 11th European Conf. Object-Oriented Programming (ECOOP), Springer-Verlag, Finland, 1997, pp. 220\u2013243.","DOI":"10.1007\/BFb0053381"},{"key":"682_CR11","doi-asserted-by":"crossref","unstructured":"Wooldridge M. Agent-oriented software engineering. In IEE Proc. Software Engineering, 1997, 144(1): 26\u201337.","DOI":"10.1049\/ip-sen:19971026"},{"issue":"1","key":"682_CR12","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MS.2004.1259204","volume":"21","author":"Spinellis Diomidis","year":"Jan\/Feb 2004","unstructured":"Diomidis Spinellis, Clemens Szyperski. How is open source affecting software development? IEEE Software, Jan\/Feb 2004, 21(1): 28\u201333.","journal-title":"IEEE Software"},{"issue":"3","key":"682_CR13","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1177\/109434200101500302","volume":"15","author":"I Foster","year":"2001","unstructured":"Foster I, Kesselman C, Tuecke S. The anatomy of the grid: Enabling scalable virtual organizations. Int. Journal of High Performance Computing Applications, 2001, 15(3): 200\u2013222.","journal-title":"Int. Journal of High Performance Computing Applications"},{"issue":"4","key":"682_CR14","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/98.943998","volume":"8","author":"M Satyanarayanan","year":"2001","unstructured":"Satyanarayanan M. Pervasive computing: Vision and challenges. IEEE Personal Communications, 2001, 8(4): 10\u201317.","journal-title":"IEEE Personal Communications"},{"key":"682_CR15","unstructured":"Xu J, Lu J. Software Languages and Their Implementation. Scientific Publishing House, 2000. (in Chinese)"},{"key":"682_CR16","unstructured":"Tang C-S. Toward a unified logic basis for programming languages. IFIP Congress, North Holland, Amsterdam, 1983, pp. 425\u2013429."},{"key":"682_CR17","unstructured":"Dong Y, Li K, Chen H et al. Design and implementation of the formal specification acquisition system SAQ. In Conf. Software: Theory and Practice, IFIP 16th World Computer Congress 2000, Beijing, 2000, pp. 201\u2013211."},{"key":"682_CR18","doi-asserted-by":"crossref","unstructured":"Jinling Wang, Beihong Jin, Jing Li. An ontology-based publish\/subscribe system. In 5th ACM\/IFIP\/USENIX Int. Middleware Conference (Middleware 2004), Toronto, Canada, Oct. 2004, Springer, LNCS 3231, pp. 232\u2013253.","DOI":"10.1007\/978-3-540-30229-2_13"},{"key":"682_CR19","doi-asserted-by":"crossref","unstructured":"Li Juan, Li Ming-Shu, Wu Zhan-Chun, Wang Qing. A SPEM-based software process metamodel for CMM. Journal of Software, 2005, 16(8): 1366\u20131377.","DOI":"10.1360\/jos161366"},{"issue":"1","key":"682_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0890-5401(02)00014-7","volume":"180","author":"H Lin","year":"2003","unstructured":"Lin H. Complete inference systems for weak bisimulation equivalences in the pi-calculus. Information and Computation, 2003, 180(1): 1\u201329.","journal-title":"Information and Computation"},{"issue":"6","key":"682_CR21","first-page":"841","volume":"11","author":"Chao Liu","year":"2000","unstructured":"Liu Chao, Zhang Mao-lin, Yan Hai-hua et al. Teamwork collaboration model of software integration testing and its characteristics. Journal of Software, 2000, 11(6): 841\u2013847.","journal-title":"Journal of Software"},{"key":"682_CR22","unstructured":"Ge Sheng, Hu Chun-ming, Du Zong-xia et al. WebSASE: A web service-based application supporting environment. In Proc. the 5th Northeast Asia Symposium, Seal, Korea, Aug 6, 2002, pp. 67\u201376."},{"issue":"5","key":"682_CR23","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1007\/BF02948822","volume":"17","author":"Lu Ruqian","year":"September 2002","unstructured":"Ruqian Lu, Zhi Jin. Formal ontology: Foundation of domain knowledge sharing and reusing. Journal of Computer Science and Technology, September 2002, 17(5): pp. 535\u2013548.","journal-title":"Journal of Computer Science and Technology"},{"issue":"9","key":"682_CR24","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/BF02063810","volume":"2","author":"Jian Lu","year":"1996","unstructured":"Lu Jian. Developing parallel object-oriented programs in the framework of VDM. Annals of Software Engineering, 1996, 2(9): 199\u2013211.","journal-title":"Annals of Software Engineering"},{"issue":"10","key":"682_CR25","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/352183.352203","volume":"43","author":"Jian Lu","year":"2000","unstructured":"Lu Jian, Li Yingjun, Ma Xiaoxing et al. A hierarchical framework for parallel seismic applications. Communications of ACM, 2000, 43(10): 55\u201359.","journal-title":"Communications of ACM"},{"key":"682_CR26","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S1567-8326(02)00024-3","volume":"52-53","author":"Xuandong Li","year":"2002","unstructured":"Li Xuandong, Zhao Jianhua, Pei Yu et al. Positive loop-closed automata: A decidable class of hybrid systems. Journal of Logic and Algebraic Programming, 2002, 52-53: 79\u2013108.","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"4","key":"682_CR27","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1007\/s11390-005-0542-y","volume":"20","author":"H M Wang","year":"2005","unstructured":"Wang H M, Wang Y F, Tang Y B. StarBus+: Distributed object middleware practice for Internet computing. Journal of Computer Science and Technology, 2005, 20(4): 542\u2013551.","journal-title":"Journal of Computer Science and Technology"},{"key":"682_CR28","doi-asserted-by":"crossref","unstructured":"Ji Wang, Wei Dong, Zhi-Chang Qi. Slicing hierarchical automata for model checking UML statecharts. Formal Methods and Software Engineering. Lecture Notes in Computer Science 2495, Springer, 2002.","DOI":"10.1007\/3-540-36103-0_45"},{"key":"682_CR29","doi-asserted-by":"crossref","unstructured":"He Jifeng, Tony Hoare. Unifying Theories for Parallel Programming. Lecture Notes in Computer Sciences 1300, Springer, 1997, pp. 15\u201330.","DOI":"10.1007\/BFb0002714"},{"issue":"5","key":"682_CR30","first-page":"530","volume":"18","author":"F Yang","year":"1988","unstructured":"Yang F et al. Kernel Software Engineering Environment BETA-85. Science in China (A), 1988, 18(5): 530\u2013538.","journal-title":"Science in China (A)"},{"key":"682_CR31","unstructured":"Yang F, Shao W, Mei H. The design and implementation of object-oriented CASE environment Jade Bird 2(JB2). Science in China (A), 1995, 25(5): 533\u2013542. (in Chinese)"},{"key":"682_CR32","unstructured":"Yang F, Mei H. Research on technology for industrialization production of software\u2014Practice of JB (Jade Bird) project. In Symp. Sino-American Engineering Technology, Beijing, Oct. 1997, pp. 190\u2013200."},{"issue":"2","key":"682_CR33","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/BF02879318","volume":"44","author":"H Mei","year":"2001","unstructured":"Mei H, Chang J C, Yang F Q. Software component composition based on ADL and middleware. Science in China (Series F), 2001, 44(2): 136\u2013151.","journal-title":"Science in China (Series F)"},{"key":"682_CR34","doi-asserted-by":"crossref","unstructured":"Mei H, Chen Feng, Wang Qianxiang, Feng Yaodong. ABC\/ADL: An ADL supporting component composition. In Proc. 4th Int. Conf. Formal Engineering Methods (ICFEM2002), Shanghai, China, 2002, pp. 38\u201347.","DOI":"10.1007\/3-540-36103-0_6"},{"key":"682_CR35","unstructured":"Mei H, Zhang W, Gu F. A feature oriented approach to modeling and reusing requirements of software product lines. In Proc. COMPSAC, Dallas, USA, 2003, pp. 250\u2013256."},{"key":"682_CR36","doi-asserted-by":"crossref","unstructured":"Zhang W, Mei H, Zhao H Y. A feature-oriented approach to modeling requirements dependencies. In Proc. 13th IEEE Int. Conf. Requirements Engineering (ICRE), La Sorbonne, France, August 29\u2013September 2, 2005, pp. 273\u2013282.","DOI":"10.1109\/RE.2005.6"},{"key":"682_CR37","unstructured":"Zhu Y, Huang G, Mei M. Quality attribute scenario based architectural modeling for self-adaptation supported by architecture-based reflective middleware. In Asia Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, Nov. 30\u2013Dec. 3, 2004, pp. 2\u20139."},{"key":"682_CR38","doi-asserted-by":"crossref","unstructured":"Feng Y, Huang G, Zhu Y L, Mei H. Exception handling in component composition with the support of middleware. In Fifth Int. Workshop on Software Engineering and Middleware (SEM 2005), co-located with ESEC-FSE\u201905, Lisbon, Portugal, ACM Press, September 5\u20136, 2005, pp. 90\u201397.","DOI":"10.1145\/1108473.1108493"},{"key":"682_CR39","doi-asserted-by":"crossref","unstructured":"Huang G, Liu T C, Mei H et al. Towards autonomic computing middleware via reflection. In Proc. 28th Annual Int. Computer Software and Applications Conference (COMPSAC), Hong Kong, China, Sept. 28\u201330, 2004, pp. 122\u2013127.","DOI":"10.1109\/CMPSAC.2004.1342817"},{"issue":"2","key":"682_CR40","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/s10515-006-7738-4","volume":"13","author":"G Huang","year":"2006","unstructured":"Huang G, Mei H, Yang F Q. Runtime recovery and manipulation of software architecture of component-based systems. International Journal of Automated Software Engineering, 2006, 13(2): 257\u2013281.","journal-title":"International Journal of Automated Software Engineering"},{"key":"682_CR41","doi-asserted-by":"crossref","unstructured":"Zhang W, Mei H, Zhao H Y, Yang J. Transformation from CIM to PIM: Feature-oriented component-based approach. In Proc. 8th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay, Jamaica, Oct. 2\u20137, 2005, LNCS 3713, 2005, pp. 248\u2013263.","DOI":"10.1007\/11557432_18"},{"key":"682_CR42","doi-asserted-by":"crossref","unstructured":"Shen J, Sun X, Huang G et al. Towards a unified formal model for supporting mechanisms of dynamic component update. The Fifth Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE\u201905), Lisbon, Portugal, September 5\u20139, 2005, pp. 80\u201389.","DOI":"10.1145\/1081706.1081720"},{"key":"682_CR43","unstructured":"Liu T, Huang G, Fan G, Mei H. The coordinated recovery of data service and transaction service in J2EE. In Proc. 29th Annual Int. Computer Software and Applications Conference (COMPSAC05), Edinburgh, Scotland, July 2005, pp. 485\u2013490."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-006-0682-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-006-0682-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-006-0682-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T14:15:07Z","timestamp":1736604907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-006-0682-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":43,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2006,9]]}},"alternative-id":["682"],"URL":"https:\/\/doi.org\/10.1007\/s11390-006-0682-8","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2006,9]]}}}