软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2008年第05期杂志 文档列表

软件学报杂志Internet环境下基于构件的软件理论与方法

Internet环境下基于构件的软件理论与方法专刊前言第1081-1082页

关键词: internet环境；  计算机软件；  基于构件；  软件系统；  技术支持；  发展趋势；  软件构件；  多目标；  

需求驱动的主动网构实体聚合第1083-1098页

关键词: 主动实体；  需求驱动；  聚合；  agent协作；  

支持协商的网构软件体系结构行为建模与验证第1099-1112页

关键词: 网构软件；  软件体系结构；  模型检查；  行为模型；  

基于Agent的网构软件构件模型及其实现第1113-1124页

关键词: 网构软件；  构件；  dagent；  ebdi结构；  动态绑定关系；  

志愿计算模型形式化方法第1125-1133页

关键词: 志愿计算；  构件；  形式方法；  

一种基于构件演算的主动构件精化方法第1134-1148页

关键词: 接口；  构件；  语义；  契约；  精化；  组合；  

构件组合的抽象精化验证第1149-1159页

关键词: 构件组合；  模型检验；  状态爆炸；  等价关系；  反例引导的抽象精化；  

网构软件数据语用的一种动态支撑方法第1160-1172页

关键词: 数据语用；  持久化；  网构软件；  中间件；  

基于非确定性推理的网构软件服务质量动态评估方法第1173-1185页

关键词: 网构软件；  服务分级；  服务质量；  贝叶斯网络；  模糊逻辑；  

网构软件的资源自适应性的形式化分析与验证第1186-1200页

关键词: 网构软件；  构件式设计；  资源自适应；  形式化验证；  统一建模语言；  

基于OSGi的服务动态演化第1201-1211页

关键词: 服务动态演化；  网构软件；  osgi；  重定向服务；  程序设计方法；  

软件学报杂志计算机网络与信息安全

扩展呼叫处理语言：一种面向综合通信服务的语言第1224-1233页

关键词: 业务生成；  process；  构件；  软件复用；  web；  services；  业务片段；  

可用带宽度量系统中的若干基本问题第1234-1255页

关键词: 计算机网络；  可用带宽；  网络度量；  主动探测；  

对一种新的序列密码结构的密码分析第1256-1264页

关键词: 密码分析；  序列密码；  区分攻击；  假设检验；  estream；  

Journal of Software第F0002-F0002页