软件技术进展

软件技术进展
作 者: 梅宏 王千祥
出版社: 机械工业出版社
丛编项: 2002’全国软件与应用学术会(NASAC)论文集
版权说明: 本书为公共版权或经版权方授权,请支持正版图书
标 签: 暂缺
ISBN 出版时间 包装 开本 页数 字数
未知 暂无 暂无 未知 0 暂无

作者简介

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

内容简介

本论文集共收录了论文历篇,涉及了软件建模语言、体系结构与测试、构件与中间件、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客观系统需求的描述.

关于企业级信息交换平台中结构化数据传输的应用研究

支持灵活定制的报表工具设计与实现

附 杨芙清院士学术. 教育及产业建设思想研讨会文集