軟件技術(shù)進展

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