軟件技術(shù)進(jìn)展

Sessionl  建模語言  主持人：趙文耘                  
 層次自動(dòng)機(jī)的切片分析技術(shù)                  
 基于UML的JBOO的研制                  
 基于UML的面向?qū)ο蠼＿^程監(jiān)控與跟蹤工具的研究                  
 帶時(shí)間約束的UML活動(dòng)圖模型的分析                  
 Agent建模語言AUML的研究                  
 商場(chǎng)銷售系統(tǒng)面向?qū)ο蠓治雠c設(shè)計(jì)                  
 大規(guī)模分布式對(duì)象系統(tǒng)設(shè)計(jì)中的對(duì)象狀態(tài)分布策略                  
 對(duì)象建模工具JBOO3. 0的文檔和代碼生成技術(shù)研究                  
 Session 2  體系結(jié)構(gòu)與模式  主持人：李明祿                  
 基于模式的體系結(jié)構(gòu)構(gòu)造方法                  
 由市場(chǎng)驅(qū)動(dòng)到控制臺(tái). 信息中心. 客戶端模式                  
 分布式實(shí)時(shí)系統(tǒng)的軟件體系結(jié)構(gòu)風(fēng)格研究                  
 運(yùn)用于產(chǎn)品線的軟件體系結(jié)構(gòu)風(fēng)格                  
 適應(yīng)性系統(tǒng)的軟件體系結(jié)構(gòu)實(shí)例研究                  
 基于Clinet/Server體系結(jié)構(gòu)的組態(tài)軟件                  
 Web應(yīng)用程序的質(zhì)量因素及其對(duì)Web應(yīng)用體系結(jié)構(gòu)的影響                  
 基于構(gòu)件耦合法設(shè)計(jì)系統(tǒng)體系結(jié)構(gòu)及實(shí)現(xiàn)技術(shù)                  
 Session 3  構(gòu)件與中間件  主持人：王  戟                  
 面向Web Service中間件的應(yīng)用支撐環(huán)境                  
 基于優(yōu)先級(jí)的實(shí)時(shí)中間件研究與實(shí)現(xiàn)                  
 一種基于軟件構(gòu)件的信息系統(tǒng)復(fù)用模型                  
 面向領(lǐng)域的構(gòu)件運(yùn)行支撐平臺(tái)研究與實(shí)現(xiàn)                  
 基于Web Services技術(shù)的商業(yè)智能系統(tǒng)模型                  
 基于構(gòu)件的軟件開發(fā)                  
 多構(gòu)件庫統(tǒng)一刻面檢索機(jī)制                  
 J2EE框架應(yīng)用中的組件開發(fā)方法研究                  
 Session 4  XML與模型  主持人：趙保華                  
 面向XML的數(shù)據(jù)庫設(shè)計(jì)工具                  
 基于XML的構(gòu)架描述語言的研究                  
 XML文本文檔檢索                  
 ND_MATRMi:基于Internet的移動(dòng)agent系統(tǒng)基準(zhǔn)模型                  
 虛擬企業(yè)服務(wù)中間件模型與方法                  
 基于活動(dòng)圖的工作流引擎設(shè)計(jì)與實(shí)現(xiàn)                  
 一種支持業(yè)務(wù)過程設(shè)計(jì)的數(shù)據(jù)庫集成自動(dòng)化模型                  
 軟件生長過程模型與Web軟件開發(fā)                  
 Session 5  過程  主持人：金  芝                  
 基于RUP的機(jī)構(gòu)軟件過程數(shù)據(jù)庫框架的研究                  
 基于RUP的軟件過程流程配置方法與工具研究                  
 基于CMM的軟件過程質(zhì)量管理模型                  
 基于類庫的編譯器開發(fā)環(huán)境研究                  
 基于任務(wù)流程的協(xié)同項(xiàng)目管理研究                  
 . NET環(huán)境下結(jié)合RUP進(jìn)行Agile編程的研究                  
 需求工程參考框架                  
 面向目標(biāo)的非功能需求分析方法GONFR及其工具研究                  
 Session 6  測(cè)試與質(zhì)量  主持人：謝  冰                  
 軟件復(fù)雜性與測(cè)試用例集價(jià)值                  
 軟件可測(cè)試性研究綜述                  
 面向?qū)ο筌浖y(cè)試的探討                  
 使用結(jié)構(gòu)化測(cè)試組織模型實(shí)施快速開發(fā)                  
 基于聚類思想的軟件可靠性模型選擇                  
 基于模型診斷算法及應(yīng)用軟件實(shí)現(xiàn)                  
 軟件質(zhì)量保障平臺(tái)Softev的設(shè)計(jì)和實(shí)現(xiàn)                  
 基于重用的軟件過程改進(jìn)模型                  
 度量面向?qū)ο筌浖O(shè)計(jì)                  
 Session 7  安全與理論  主持人：陶先平                  
 PKUAS的安全機(jī)制                  
 一種基于構(gòu)造類別代數(shù)的協(xié)議一致性測(cè)試方法                  
 一種面向?qū)ο驪etri網(wǎng)模型的定義與分析                  
 CC準(zhǔn)則與信息系統(tǒng)安全保護(hù)等級(jí)評(píng)估研究                  
 解碼器通信協(xié)議的一種形式化方法                  
 應(yīng)用安全軟件工程方法開發(fā)可信DBMS的過程研究                  
 通過轉(zhuǎn)換實(shí)現(xiàn)在C十十中增加多態(tài)類型定義                  
 基于COTS構(gòu)件的證書生成工具                  
 Session 8  應(yīng)用  主持人：劉  超                  
 UML在管理信息系統(tǒng)中的應(yīng)用                  
 基于組件模式的分布式報(bào)表系統(tǒng)的設(shè)計(jì)                  
 柔性報(bào)表系統(tǒng)開發(fā)平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn)                  
 掃描文檔圖像興趣域的自動(dòng)檢測(cè)及編碼                  
 掃描文檔圖像壓縮的多尺度分割算法                  
 MIS客觀系統(tǒng)需求的描述.                   
 關(guān)于企業(yè)級(jí)信息交換平臺(tái)中結(jié)構(gòu)化數(shù)據(jù)傳輸?shù)膽?yīng)用研究                  
 支持靈活定制的報(bào)表工具設(shè)計(jì)與實(shí)現(xiàn)                  
 附　楊芙清院士學(xué)術(shù). 教育及產(chǎn)業(yè)建設(shè)思想研討會(huì)文集