软件开发环境国家重点实验室.pdfVIP

软件开发环境国家重点实验室

软件开发环境国家重点实验室简介

软件开发环境国家重点实验室于1988年通过国家计委专家认证，并确定为用世界银行贷

款建设的国家重点实验室。1992年后获得世界银行贷款共129万美元，购置了实验室建设初期

的要紧设备与基础设施，1992年10月对外开放。1995年通过了教育部与基金委组织的专家验

收。实验室是国家对外开放的软件新技术、软件开发工具与环境的应用基础研究与关键技术研

发基地。

实验室实行主任负责制与学术委员会评审制。国务院学位委员会委员、中国科学院院

士、北京航空航天大学校长李未教授担任实验室主任。1997年12月经教育部批准，成立了第

二届学术委员会，由12名国内外知名专家构成，中国科学院院士董韫美教授担任主任。本届学

术委员会成员中的二位外籍专家，分别来自日本筑波大学与德国马普计算机研究所。

1996年以来，实验室基于对软件产业国际国内形势的分析，确定了“面向软件产业进展

的主战场，瞄准软件基础研究的世界前沿，突破研制大型软件的关键技术，深化原创性的软件

基础研究”的进展战略。在这个进展战略的指导下，实验室根据自身多年的学术积存与研究特

色，并结合国际学科前沿研究与进展趋势，以原创