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

软件学报 2009年第06期杂志 文档列表

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

组合测试：原理与方法第1393-1405页

关键词: 组合测试；  覆盖数组；  测试用例生成；  

DDS并行模型及其形式化第1406-1413页

关键词: dds并行模型；  全局调度算法；  分离逻辑；  时段演算；  形式化；  

一种基于满足性判定的并发软件验证策略第1414-1424页

关键词: 有界模型检测；  抽象；  平行组合；  

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

软件错误注入测试技术研究第1425-1443页

关键词: 软件测试；  错误注入；  软件变异；  鲁棒性；  错误注入分析；  

参数化系统安全性的启发式符号验证第1444-1456页

关键词: 参数化系统；  安全性；  向上封闭集合；  启发式搜索；  符号验证；  

UML类图中面向非功能属性的描述和检验第1457-1469页

关键词: 非功能属性；  统一建模语言；  类图；  模型检验；  

基于分布式协调模型的服务协作方法研究第1470-1486页

关键词: 服务协作；  会话类服务；  协议兼容性；  协议适配；  

UML类图层次化自动布图算法第1487-1498页

关键词: 布图算法；  软件可视化；  uml类图；  逆向工程；  

基于数据包络分析的软件任务性能基准评价第1499-1510页

关键词: 软件项目；  软件过程；  任务性能基准评价；  数据包络分析；  

软件学报杂志模式识别与人工智能

用于二维不规则排样的离散临界多边形模型第1511-1520页

关键词: 不规则排样问题；  禁止区；  临界多边形；  离散临界多边形；  

基于IMOM和IBOHM启发式策略的扩展规则算法第1521-1527页

关键词: 定理机器证明；  命题逻辑；  扩展规则；  启发式策略；  归结；  

二维矩形条带装箱问题的底部左齐择优匹配算法第1528-1538页

关键词: 遗传算法；  二维矩形条带装箱问题；  启发式布局算法；  

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

无线网状网的QoS研究第1539-1552页

关键词: 无线网状网；  服务质量；  qos体系结构；  功率控制；  环境感知；  qos路由；  跨层；  

生物特征模板保护第1553-1573页

关键词: 生物特征；  模板保护；  密钥；  辅助数据；  biohashing；  模糊保险箱；  

网络距离预测技术研究第1574-1590页

关键词: 网络距离；  网络坐标；  距离预测；  延迟预测；  坐标计算；  拓扑感知；  覆盖网；