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

软件学报 2005年第07期杂志 文档列表

软件学报杂志理论计算机科学

粗代数研究第1197-1204页

关键词: 粗糙集；  粗代数；  近似偶序对；  

正则序类逻辑Institution的Lawvere定理及其初始与终结语义第1205-1209页

关键词: 代数语义学；  程序规范说明；  抽象模型论；  范畴论；  

软件学报杂志默认

《2005年度计算机科学技术发展报告》征稿启事第1204-1204页

敬告作者第1209-1209页

2005年全国开放式分布与并行计算学术会议征文通知第1251-1251页

《中国计算机学会通讯》杂志创刊第1261-1261页

《软件学报》有关长文的征文通知第1281-1281页

中国计算机学会设立创新奖第1313-1313页

软件学报杂志系统软件与软件工程

关于蜕变测试和特殊用例测试的实例研究第1210-1220页

关键词: 软件测试；  蜕变测试；  特殊用例测试；  随机测试；  变异分析；  

关于软件需求中的不一致性管理第1221-1231页

关键词: 需求工程；  需求描述；  需求不一致性的管理；  

下一代通信软件中的特征冲突检测第1232-1241页

关键词: 下一代通信软件；  特征冲突；  通信有限状态机；  系统验证；  状态爆炸；  

一种基于Petri网化简的工作流过程语义验证方法第1242-1251页

关键词: 工作流；  过程；  语义验证；  petri网；  化简；  

软件学报杂志数据库技术

数据流上的预测聚集查询处理算法第1252-1261页

关键词: 数据流；  未来数据窗口；  多元线性回归；  预测聚集查询；  

分布式序列模式发现算法的研究第1262-1269页

关键词: 数据挖掘；  序列模式；  分布式算法；  

SEEKER：基于关键词的关系数据库信息检索第1270-1281页

关键词: 关系数据库；  关键词查询；  信息检索；