1985.9- 1987.5, master's thesis: interactive computer-aided typesetting system ICANS (for industrial production, system implementer).
1989.9- 1992.9, doctoral thesis: functional object-oriented programming language fopl-design and implementation (supported by national natural science foundation and 863 project)
1992.12-1995.5, the national key scientific and technological project during the Eighth Five-Year Plan period: "Standardization and Practicality of Integrated Software Engineering Development Environment (CASE) (85-7 12- 1)", the main backbone of the project, The project passed the expert appraisal hosted by the Ministry of Electronic Industry on May 3rd 1995, and experts thought that "JB2 has reached the international advanced level in system scale and technical level".
1992.12-1994.6,863 Project: "Object-oriented intelligent software prototyping technology and system (863-306-02-03-3)", technical director, assisting Academician Yang Fuqing in design and implementation. The project passed the expert appraisal on June 5th 1994, and the result was "at the advanced level of similar research at home and abroad".
1993.6- 1995.3, postdoctoral fund project: "research on object-oriented software process model", project leader.
Project1994.8-1996.4,863: "Object-oriented intelligent software production technology based on reuse (863-306-02-0 1)", technical director, assisted Academician Yang Fuqing in the design and implementation work, which was completed in 65438.
1995.11997.11,member of the technical team of the ninth five-year national key scientific and technological project: "Research on industrial production technology and system in software engineering environment (Jade Bird case)" (Phase I) According to the expert appraisal in June 1997 1 1, experts believe that "Jade Bird III system …… is creative and systematic in the research of software industry production technology based on component/architecture mode, and it is at the leading level in China in system scale and technology, reaching the current international advanced level, and has good practicability. It will play a good technical support and guarantee role for the technological revolution of China's software industry and the formation of economies of scale. "
1996.1-1998.9, a project supported by Dr. of the State Education Commission: "Research on the Descriptive Formal Semantic Model of Objects (95005438+038)", the project leader.
1996.1-1998.12, the project of national natural science foundation: "Object-oriented software development method based on active object model and its supporting system (69573002)", the second person in charge.
1996.8-1998.6,863 project: object-oriented software development technology and its system based on component and architecture reuse (863-306-02-05-0 1). One of the project leaders passed the expert appraisal on 1 July, 19981day, and the experts thought that "this achievement has reached the domestic leading and international advanced level".
1998.2-2000.11,a key scientific and technological project in the Ninth Five-Year Plan: "Research and Development of Industrial Production Technology and System in Software Engineering Environment (Jade Bird Case)" (Phase II Project). Technical team members and project leaders. The project passed the acceptance organized by the Ministry of Science and Technology on February 22nd, 2000.
1998.6-200 1.6, the cooperation project between Yunnan Provincial People's Government and Peking University: "Jade Bird Software Production Line System Introduction and Promotion Demonstration Project". Technical director. This project passed the acceptance organized by Yunnan Science and Technology Commission in July, 20001year.
1998.12-2000.12, the key scientific and technological pre-research project of the Ministry of Education: "Research on the theory and method of software development process automation (98005)", technical director.
1998.12-2000.1.863 Project: "Research on Software Component Assembly Technology and Tools (863-306-ZT02-02-2)". Project leader. The project passed the acceptance of 863 expert group on February 3, 2000. Acceptance experts believe that the project "adopts the technical route of combining SA research with CBSD research, and has made breakthroughs and progress in key technologies such as component description language, complex connectors, combined components and glue code generation", "has its own characteristics compared with similar international work", "the research results have passed the Jade Bird project, … showing good application prospects", and the comprehensive evaluation is A-.
September 2000-2002.12, Bell Laboratories Cooperative Research Project: "Feature Interaction and Component Assembly". Project leader.
September 2000-2002.12, Natural Science Foundation Project: "Technology Research for Software Architecture (SA) (60043002)", project leader. The final evaluation is "excellent".
2001.1-2002.12, the returned students of the Ministry of Education started the fund project: "Research on component assembly technology based on software architecture", and the project leader.
2001.1-2002.12,2000 Research on Software Component Assembly Technology and Theory, project leader.
2002. 1-2004. 12, Ph.D. program fund of the Ministry of Education: "Component-oriented domain engineering technology research (20010/)", project leader.
2002. 1-2005. 12, National Science Fund for Distinguished Young Scholars: "Research on Software Component Assembly Technology and Theory (60 125206)", project leader.
2002. 1-2003. 12, a key scientific and technological project of the Ministry of Education: "domain-oriented application middleware (professional 02 14)", project leader.
2003. 1-2006. 12, key project of natural science foundation: "Research on software feature interaction and interoperability (60235438+00)", project leader.
2002. 12-2007.8, National Key Basic Research and Development Program (973 Program): "Research on Agent-based Software Middleware Theory and Method in Internet Environment (2002CB3 12000)", chief scientist.
From June 2003 to May 2005, the national key scientific and technological project: "Research and Establishment of Olympic Information System Model (2003BA904B02)" was the project leader.
2006. 1-2008. 12, Cooperative Research Fund for Overseas Young Scholars of Natural Science Foundation: "Research on Refined Transformation Technology in ABC Method (60528006)", co-leader of the project (the leader is Associate Professor Hu Zhenjiang from School of Information Technology, University of Tokyo).
2006. 1-2008. 12, natural science foundation project: "research on open software model for network computing environment" (9061201), project leader.
2006. 12-2008. 12, National Science and Technology Support Program Project: "Research on Common Service Integration Technology of Modern Service Industry" (2006BAH02A02), project leader.