軟件開發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室于1988年通過(guò)國(guó)家計(jì)委認(rèn)證，利用世界銀行貸款建設(shè)的國(guó)家重點(diǎn)實(shí)驗(yàn)室。1992年后獲得世界銀行貸款共129萬(wàn)美元，購(gòu)置了實(shí)驗(yàn)室建設(shè)初期的主要設(shè)備和基礎(chǔ)設(shè)施，1992年10月對(duì)外開放。1995年通過(guò)了教育部和基金委組織的專家驗(yàn)收。實(shí)驗(yàn)室是國(guó)家對(duì)外開放的軟件新技術(shù)、軟件開發(fā)工具和環(huán)境的應(yīng)用基礎(chǔ)研究與關(guān)鍵技術(shù)研發(fā)基地。由國(guó)務(wù)院學(xué)位委員會(huì)委員、中國(guó)科學(xué)院院士、北京航空航天大學(xué)校長(zhǎng)李未教授任實(shí)驗(yàn)室主任；學(xué)術(shù)委員會(huì)由12名國(guó)內(nèi)外知名專家組成，中國(guó)科學(xué)院院士董韞美教授擔(dān)任主任，本屆學(xué)術(shù)委員會(huì)成員中的二位外籍專家，分別來(lái)自日本筑波大學(xué)和德國(guó)馬普計(jì)算機(jī)研究所。

1996年以來(lái)，實(shí)驗(yàn)室基于對(duì)軟件產(chǎn)業(yè)國(guó)際國(guó)內(nèi)形勢(shì)的分析，確定了“面向軟件產(chǎn)業(yè)發(fā)展的主戰(zhàn)場(chǎng)，瞄準(zhǔn)軟件基礎(chǔ)研究的世界前沿，突破研制大型軟件的關(guān)鍵技術(shù)，深化原創(chuàng)性的軟件基礎(chǔ)研究”的發(fā)展戰(zhàn)略。實(shí)驗(yàn)室根據(jù)自身多年的學(xué)術(shù)積累和研究特色，結(jié)合國(guó)際學(xué)科前沿研究與發(fā)展趨勢(shì)，以原創(chuàng)性理論研究為基礎(chǔ)，以關(guān)鍵技術(shù)突破為重點(diǎn)，以研制先進(jìn)的軟件開發(fā)環(huán)境和平臺(tái)為目標(biāo)，設(shè)立了計(jì)算機(jī)科學(xué)理論與基礎(chǔ)、高速網(wǎng)下的協(xié)同工作環(huán)境和面向領(lǐng)域服務(wù)的軟件支撐技術(shù)三個(gè)有特色、有優(yōu)勢(shì)的研究方向。

自1996年以來(lái)，實(shí)驗(yàn)室共承擔(dān)科研項(xiàng)目共156項(xiàng)。其中，國(guó)家科學(xué)基金項(xiàng)目14項(xiàng)，攀登計(jì)劃（子課題）1項(xiàng)，973計(jì)劃項(xiàng)目1項(xiàng)（4個(gè)課題），863計(jì)劃項(xiàng)目23項(xiàng)，部委級(jí)重點(diǎn)項(xiàng)目11項(xiàng)，其他課題及橫向協(xié)作項(xiàng)目94項(xiàng)，科研經(jīng)費(fèi)共計(jì)8065萬(wàn)元。實(shí)驗(yàn)室取得的主要成果有：在軟件基礎(chǔ)研究方面：（1）在國(guó)內(nèi)率先倡導(dǎo)將網(wǎng)絡(luò)環(huán)境下海量信息的組織、傳輸與處理的研究作為軟件基礎(chǔ)研究的一個(gè)重要方向，并制定了詳細(xì)的研究計(jì)劃。1999年科技部重大基礎(chǔ)研究規(guī)劃項(xiàng)目“網(wǎng)絡(luò)環(huán)境下海量信息的組織、處理和傳輸?shù)睦碚撆c方法”正式立項(xiàng)啟動(dòng)，實(shí)驗(yàn)室主任李未院士任該項(xiàng)目的首席科學(xué)家。目前該項(xiàng)目已通過(guò)科技部組織的中期檢查，認(rèn)為“該項(xiàng)目整體研究處于國(guó)際先進(jìn)水平，部分研究成果具有較高的前瞻性和創(chuàng)新性，進(jìn)入了國(guó)際領(lǐng)先行列”。（2）實(shí)驗(yàn)室以李未院士為帶頭人的學(xué)術(shù)梯隊(duì)長(zhǎng)期進(jìn)行“開放邏輯”的原創(chuàng)性理論研究，目前該理論已經(jīng)得到國(guó)內(nèi)外學(xué)術(shù)界的初步認(rèn)同。已有16所國(guó)內(nèi)大學(xué)以及德國(guó)、日本等國(guó)外研究機(jī)構(gòu)參與該理論的研究工作，發(fā)表論文155篇，并建立了中日、中德合作研究項(xiàng)目。（3）參與我國(guó)Internet2試驗(yàn)床的建設(shè)。實(shí)驗(yàn)室和清華大學(xué)共同主持了于1999年正式立項(xiàng)啟動(dòng)的國(guó)家自然科學(xué)基金委重大項(xiàng)目“中國(guó)高速互聯(lián)研究試驗(yàn)網(wǎng)絡(luò)NSFCnet”。 在大型軟件研制關(guān)鍵技術(shù)的突破方面：（1）實(shí)驗(yàn)室設(shè)計(jì)并實(shí)現(xiàn)了“基礎(chǔ)設(shè)施信息網(wǎng)絡(luò)管理系統(tǒng)軟件生產(chǎn)平臺(tái)”。在國(guó)內(nèi)首次提出并設(shè)計(jì)完成了“網(wǎng)絡(luò)管理系統(tǒng)軟件生產(chǎn)線”；設(shè)計(jì)了符合我國(guó)用戶特點(diǎn)和國(guó)際標(biāo)準(zhǔn)的多層分布式體系結(jié)構(gòu)；設(shè)計(jì)并實(shí)現(xiàn)了相應(yīng)的軟件構(gòu)件庫(kù)；提出了以開發(fā)方和用戶方交互為主線的軟件開發(fā)管理方法。（2）實(shí)驗(yàn)室在“因特網(wǎng)多媒體會(huì)議系統(tǒng)”的研究成果，經(jīng)過(guò)軟件認(rèn)證和評(píng)估也形成了1000萬(wàn)元的知識(shí)產(chǎn)權(quán)。實(shí)驗(yàn)室因在“基于結(jié)構(gòu)操作語(yǔ)義的并發(fā)和類型程序設(shè)計(jì)方法研究”上的貢獻(xiàn)于1995年獲得國(guó)家自然科學(xué)二等獎(jiǎng)，并獲得省部級(jí)以上的各類獎(jiǎng)項(xiàng)多項(xiàng)。

實(shí)驗(yàn)室提出了以培養(yǎng)學(xué)術(shù)帶頭人為目標(biāo)的研究生梯隊(duì)式培養(yǎng)方法，既培養(yǎng)了我國(guó)高技術(shù)和高等教育方面的領(lǐng)導(dǎo)型人才，又培養(yǎng)了一批活躍在科研第一線的中青年學(xué)術(shù)帶頭人。自1997年以來(lái)，實(shí)驗(yàn)室培養(yǎng)了6名博士后、18名博士、108名碩士和近300名本科畢業(yè)生，目前還有51名博士生、128名碩士生在實(shí)驗(yàn)室攻讀學(xué)位。

實(shí)驗(yàn)室面向我國(guó)軟件發(fā)展的戰(zhàn)略需求，以推動(dòng)我國(guó)軟件產(chǎn)業(yè)的迅速發(fā)展為己任，積極參與國(guó)內(nèi)外軟件科研、教育和產(chǎn)業(yè)發(fā)展過(guò)程中的各項(xiàng)活動(dòng)，充分發(fā)揮了國(guó)家軟件重點(diǎn)實(shí)驗(yàn)室的作用。近幾年來(lái)，實(shí)驗(yàn)室先后擔(dān)任了國(guó)家計(jì)委軟件產(chǎn)業(yè)基地評(píng)審和監(jiān)督專家組組長(zhǎng)單位、教育部軟件示范學(xué)院的評(píng)審組組長(zhǎng)單位、教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì)的主任單位和863計(jì)劃計(jì)算機(jī)硬件與軟件主題組長(zhǎng)單位。實(shí)驗(yàn)室已經(jīng)通過(guò)高速因特網(wǎng)與國(guó)內(nèi)的北京大學(xué)、清華大學(xué)、中國(guó)科學(xué)院計(jì)算所、中國(guó)科學(xué)院軟件所等建立了緊密協(xié)作關(guān)系，并通過(guò)參加AccessGrid網(wǎng)絡(luò)協(xié)同聯(lián)盟，與美國(guó)、德國(guó)、日本等六十余所大學(xué)和實(shí)驗(yàn)室建立了經(jīng)常性的學(xué)術(shù)聯(lián)系。研究成果在國(guó)內(nèi)外產(chǎn)生了重要影響。實(shí)驗(yàn)室已經(jīng)初步達(dá)到了“國(guó)際知名、國(guó)內(nèi)一流”的目標(biāo)。

地 址：北京市海淀區(qū)學(xué)院路37號(hào)

郵政編碼：100083 學(xué)

電 話：010-82317643  

實(shí)驗(yàn)室編號(hào)：  1991DA107015  建設(shè)年份：  1991

實(shí)驗(yàn)室名稱：  軟件開發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室  驗(yàn)收年份：  1995 

實(shí)驗(yàn)室曾用名：   依托單位：  北京航空航天大學(xué) 

主 管部 門：  國(guó)防科學(xué)技術(shù)工業(yè)委員會(huì)  所在地區(qū)：  北京 

學(xué) 科領(lǐng) 域：  信息  網(wǎng)址：  http://www.nlsde.buaa.edu.cn