实用计算机网络实验教程

session 1 建模语言

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

面向活动的信息系统建模和分析

面向模型检验的uml状态机语义

uml动作语义研究

从uml图导出petri网模型的方法研究

uml建模及together实现

uml2．0的发展历程及特征

一种软件系统抽象：基于承诺的系统

session 2 形式化方法

多agent部分有序计划的最优线性化方法

c++中namespace概念的逆向分析

基于tableau方法的z规格说明求精

形式方法在安全临界系统中的应用

一种支持程序理解的扩展表示方法

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

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

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

针对dsm系统扩展openmp指导命令

eucp中间代码文件解析的设计及实现

.基于tcp／ip协议栈的操作系统鉴别技术

模型检查中的自动机方法

session 3 体系结构与模式

开放式互操作框架的设计与实现

target软件体系结构模式研究

基于mvc模式的交互式分类规则发现模型

tibs应用框架的概念设计

基于模式的设计重现与重构

微内核软件体系结构设计与实践

空间web服务的体系、特征和发展初步研究

基于递阶过程模式动态复用的软件项目过程控制

基于jmx的网络管理系统

基于xml和java的webgis体系结构

基于web服务的动态电子商务体系架构

基于delphi的mtscom分布式多层系统开发

session 4 构件与领域工程

支持管理在线构件的构件基本描述模型

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

基于构件的软件性能模型及性能管理工具的研究

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

领域软件构件柔性组装基础研究

一个基于构件的非线性软件开发模型

promoting confidencein software components:a uml approach

基于黑板模型的软件构件接口设计

基于复用的软件开发过程和方法研究

企业信息资源管理平台构件化开发技术研究

构件化企业客户资源分析器模型

基于构件的解释型神经网络学习模型

一个简化corba应用编程的模型

session 5 需求工程与信息处理

面向多视点的需求不一致优先级的合成

支持软件生命周期的集成化需求信息模型

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

基于xml的搜索引擎技术的研究与设计

xml文档到关系数据库的转换

异构数据集成系统中的查询语言研究

基于web的快速信息抽取技术的研究和实现

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

基于向量空间模型的网络信息过滤方法

一种基于多agent技术的内容分发网络(cdn)模型

中文计算语言学信息中心的实现

用于英语词法分析的知识描述与处理

cognos对cube的安全控制与cube权限的自动倒入

基于session的特征选择

session 6 软件过程与cmm

一种改进的面向对象软件变化影响分析方法，

基于度量的软件项目过程优化控制研究

软件配置管理中的过程柔性配置技术

支持过程改进的软件度量技术

spuml过程定义方法与原型系统的探讨

基于标准的适应性软件过程改进方法及其支持环境

基于度量的软件过程改进

基于过程评估和基线测试的软件过程改进研究

一种混合软件过程仿真建模方法

基于混沌模型的软件开发框架(cbfsd)

中小型软件企业知识管理的初探

kinsbasees研发中的配置管理研究

基于工作流的软件过程自动化支持平台研究

多视图软件过程模型研究

基于工程方法的教学软件开发模式

螺旋模型在数据仓库开法中的应用研究

cmm过程支持系统中对过程改变多策略支持的研究

cmmi发展的新方向--贯标机制研究

基于cmmi不对称信息下最优激励合同研究

cmm等级对软件开发成本影响的回归分析

cmm在软件过程管理、改进与评估中的理念

软件质量管理关键过程域的度量

软件开发中风险分析技术的研究与应用

面向软件过程的成本管理系统

session 7 测试与质量

基于切片技术的web回归测试

面向servlet的分析测试技术研究和实现

使用bit技术构造可自测试构件

auml-based risk analysis approach for software testing

分布式实时系统形式化测试研究中的一些问题思考

关于车牌识别系统自动化软件测试的探讨

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

利用工作流管理系统实现软件测量

基于代码的软件可靠性研究

一种基于测距的重构技术

一种可变测试集的通信协议一致性测试方法

session 8 系统软件

linux集群系统的高可用性分析与设计

一个支持机群系统中并行dm算法的数据管理中间件

通过部分计值对分布式软件的优化

win2k大规模稀疏内存分配研究

基于抽象状态机的网格系统设计和分析

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

基于webservices的青鸟电子政务支撑平台

gisweb服务的研究

网格中的个人信息化

基于服务的网络计算模型的研究

基于消息总线体系结构的分布式工作流建模与仿真

工作流中基于模糊综合评价的任务分配

服务网格及其应用技术的研究

session 9 应用

网关安全保护等级评估准则研究

基于构件库的gis应用系统开发方法的研究

电信业务运营支撑系统中的过程集成及扩展机制

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

基于gatekeeper的重定向网关的研究与实现

基于mas的智能化协同教学软件模型

a neural network based firearm ldentification model

基于gis的城市大气污染源监控与大气质量预警系统

一个基于多示例学习的网络安全系统模型

网络用户远程监视系统的设计与实现

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

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

基于webservices的税务信息一体化技术研究

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

一种自适应最短路线的选路方法

协同oa的技术实现模型

基于webservice的网上音乐专卖店的研究与设计

信息门户网站的设计与实现

uml在油田信息化领域建模中的应用

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