会议专题

2003'全国软件与应用学术会议

总文献量: 127篇会议类型: 国内会议会议地点: 北京主办单位: 中国计算机学会会议日期: 2003-11-01

文章浏览

基于移动代理的对等网系统

任爱华孙云峰任发科

针对DSM系统扩展OpenMP指导命令

黄春杨学军

一个Web服务事务处理模型:结构、算法和事务补偿

唐飞龙李明禄曹健

模型检查中的自动机方法

沈浩孙永强

度量模型构造中主度量分析器PMA的设计

黄璜周欣刘吟孙家骕

λ演算与微处理器形式验证

陈钢

UML中衍型的精确定义与分析

蒋严冰邵维忠张路麻志毅

基于本体的动态信息收集Agent

李建清刘升平林作铨

基于TCP/IP协议栈的操作系统鉴别技术

田野赵保华

复合构件的组装方式及性质研究

费玉奎王志坚艾萍

一种基于组合Monad的纯函数式文件系统操作

袁华强孙永强

一种基于高效多密门限体制的安全通信平台

李彦江马传贵高峰修

煤炭销售合同管理系统的UML分析

赵晋强段富

基于程序功能的高内聚性模块划分

舒红平蒋建民何嘉

数据仓库项目的成本收益分析

陈军许志庚

Target软件体系结构模式研究

高旭涛刘超

基于GIS的环境空气质量数值预报数据可视化系统

丛中兴蒋志方王强侯瑞莲

一种支持用户界面自动生成的需求描述

夏冰冰卢雷

特定领域软件框架的提取方法研究

吴毅坚赵文耘

A UML-based Risk Analysis Approachfor Software Testing