软件技术进展

　　本论文集共收录了论文历篇，涉及了软件建模语言、体系结构与测试、构件与中间件、XML、过程、测试与质量、应用等方面，这些工作基本上反映了我国软件科技人员近期在软件技术与应用方面的最新进展。

暂缺《软件技术进展》作者简介

Sessionl  建模语言  主持人：赵文耘                  
 层次自动机的切片分析技术                  
 基于UML的JBOO的研制                  
 基于UML的面向对象建模过程监控与跟踪工具的研究                  
 带时间约束的UML活动图模型的分析                  
 Agent建模语言AUML的研究                  
 商场销售系统面向对象分析与设计                  
 大规模分布式对象系统设计中的对象状态分布策略                  
 对象建模工具JBOO3. 0的文档和代码生成技术研究                  
 Session 2  体系结构与模式  主持人：李明禄                  
 基于模式的体系结构构造方法                  
 由市场驱动到控制台. 信息中心. 客户端模式                  
 分布式实时系统的软件体系结构风格研究                  
 运用于产品线的软件体系结构风格                  
 适应性系统的软件体系结构实例研究                  
 基于Clinet/Server体系结构的组态软件                  
 Web应用程序的质量因素及其对Web应用体系结构的影响                  
 基于构件耦合法设计系统体系结构及实现技术                  
 Session 3  构件与中间件  主持人：王  戟                  
 面向Web Service中间件的应用支撑环境                  
 基于优先级的实时中间件研究与实现                  
 一种基于软件构件的信息系统复用模型                  
 面向领域的构件运行支撑平台研究与实现                  
 基于Web Services技术的商业智能系统模型                  
 基于构件的软件开发                  
 多构件库统一刻面检索机制                  
 J2EE框架应用中的组件开发方法研究                  
 Session 4  XML与模型  主持人：赵保华                  
 面向XML的数据库设计工具                  
 基于XML的构架描述语言的研究                  
 XML文本文档检索                  
 ND_MATRMi:基于Internet的移动agent系统基准模型                  
 虚拟企业服务中间件模型与方法                  
 基于活动图的工作流引擎设计与实现                  
 一种支持业务过程设计的数据库集成自动化模型                  
 软件生长过程模型与Web软件开发                  
 Session 5  过程  主持人：金  芝                  
 基于RUP的机构软件过程数据库框架的研究                  
 基于RUP的软件过程流程配置方法与工具研究                  
 基于CMM的软件过程质量管理模型                  
 基于类库的编译器开发环境研究                  
 基于任务流程的协同项目管理研究                  
 . NET环境下结合RUP进行Agile编程的研究                  
 需求工程参考框架                  
 面向目标的非功能需求分析方法GONFR及其工具研究                  
 Session 6  测试与质量  主持人：谢  冰                  
 软件复杂性与测试用例集价值                  
 软件可测试性研究综述                  
 面向对象软件测试的探讨                  
 使用结构化测试组织模型实施快速开发                  
 基于聚类思想的软件可靠性模型选择                  
 基于模型诊断算法及应用软件实现                  
 软件质量保障平台Softev的设计和实现                  
 基于重用的软件过程改进模型                  
 度量面向对象软件设计                  
 Session 7  安全与理论  主持人：陶先平                  
 PKUAS的安全机制                  
 一种基于构造类别代数的协议一致性测试方法                  
 一种面向对象Petri网模型的定义与分析                  
 CC准则与信息系统安全保护等级评估研究                  
 解码器通信协议的一种形式化方法                  
 应用安全软件工程方法开发可信DBMS的过程研究                  
 通过转换实现在C十十中增加多态类型定义                  
 基于COTS构件的证书生成工具                  
 Session 8  应用  主持人：刘  超                  
 UML在管理信息系统中的应用                  
 基于组件模式的分布式报表系统的设计                  
 柔性报表系统开发平台的设计与实现                  
 扫描文档图像兴趣域的自动检测及编码                  
 扫描文档图像压缩的多尺度分割算法                  
 MIS客观系统需求的描述.                   
 关于企业级信息交换平台中结构化数据传输的应用研究                  
 支持灵活定制的报表工具设计与实现                  
 附　杨芙清院士学术. 教育及产业建设思想研讨会文集