軟件技術進展

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