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