队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
软件工程和方法学
软件工程环境和软件生产自动化
对象技术
分布式计算
三、学习经历
83年9月～88年7月中国科技大学计算机系学士
88年9月～91年1月中国科技大学计算机系硕士
91年3月～94年6月中国科技大学计算机系博士
92年3月～93年1月中国科技大学、奥地利应用知识处理研究所合培博士
四、工作经历
94年7月～97年3月中科院软件所助研、副研
计算机科学开放研究实验室副主任
97年3月～99年6月中科院软件所软件工程技术中心主任
99年2月～中科院软件所研究员
99年7月～中科院软件所副总工
2002年～中科院软件所副所长
五、社会兼职
六、研究成果与获奖情况
七、代表论著
LogC:aLanguageandEnvironmentforEmbeddedRuleBasedSystemsACMSIGPLANNotices,VolNo.11,1992
对象语义理论与行为约束推理,计算机学报,Vol.16,No.11,1993
ObjectSemanticModelandSoftwaredevelopment，Proc.TaianIntl.CASESymp.93，199
Aproposalforintegratedsoftwaredevelopment，Proc.TaianIntl.CASESymp.93，1993
LogC智能推理语言和环境，软件学报，Vol.4No.5,1993
对象形式语义模型，软件学报增刊，1995
软件构造过程中的对象规范及其实现，软件学报增刊，1995
对象行为约束的描述和推理，中国科学技术大学学报，Vol.25,No.3，1995
ResearchonComponentSoftwareinObjectOrientation，中美工程技研讨会，1995
面向对象的软件构造，软件学报，Vol.7,No.3,1996
面向对象的组合软件工程的研究，计算机学报，Vol.19,No.3,1996
对象描述语言及其指称描述,软件学报,Vol.7,No.10,1996
SCOP对象管理系统，软件学报,Vol.7,No.12,1996
PCLAgenda：一个基于过程的CASE环境，软件学报，Vol.7,No.12,1996
OOAnalysis的设计和实现，软件学报,Vol.7,No.12,1996
Designandimplementationofobjectmanagementsystem,ChineseJournalofAdvancedSoftwareResearch,vol.5,No.1,1998
ODL编译器的设计和实现，软件学报,已录用
软件过程环境ISPE的设计和实现，软件学报,Vol.8,No.12,1997
CommunicationSystemforCIMSApplicationIntegrationPlatformJournalofTsinghuaUniversity,accepted
分布对象总线ORBPro的设计和实现，清华大学学报，已录用
CIMS环境中全局信息系统的总体结构与设计，清华大学学报，98第三期
Anintegratingframeworkformulti-paradigmsoftwareprocessmodeling,In:ProceedingsofIEEEInternationaConferenceonIntelligentProcessingSystems(ICIPS’97),oct.1997
PCLAgenda:aprocess-centeredsupportenvironmentforcomponentsoftware,In:ProceedingsofTOOLSASIA'97,Sept.1997
软件过程及其集成环境的研究，计算机科学,1997.8
《对象技术导论》，科学出版社，1998年3月第一版
八、承担项目
